feat(library/data/category.lean) the definition of category doesn't depend on 'mor' anymore; make iso a class; add theorems
fix(library/data/category): minor problem that was being masked by bug #182, fixes #183