The purpose of the library in colonial tropical Africa: an historical survey