Dump everything from catdb and HoTT-categories
Remove some already-ported files
Remove already-ported things from HoTT-categories
Add back morphisms, remove some ported catdb things
Remove ported things from catdb
Remove silly things
Remove subcategories

They were already ported
Remove subcategory