feat(library/hott) added iso_of_path lemma for precategories
chore(library/hott) move precategory definition to its own folder