Dinocatalog

African_dino_mapper was deleted somehow in the previous push. This is to rectify that and some other minor changes(removing comments, etc).