Define the proposition IsGroupoid of a precategory

Also define the precategory of strict groupoids.
Merge pull request #388 from JasonGross/isgroupoid

Define the proposition IsGroupoid of a precategory