Rename Groupoid.lean to groupoid_category.lean (#1353)
This fixes a problem with `category_theory/groupoid` and `category_theory/Groupoid` having the same name except for the case of the first letter, which causes a problem on case insensitive file systems.
