Improve [present_spcategory*] tactics.
Improve [present_spcategory*] tactics.

Hopefully they won't loop forever now.  Also, there's now an even more inclusive
version of [present_spcategory_all] which replaces objects in addition to
morphisms.

JasonGross/catdb,CategoricalData/catdb,CategoricalData/catdb,JasonGross/catdb