added group tactic and automated some proofs in groups.v#100

spitters merged 2 commits intorocq-community:masterrocq-community/math-classes:masterfrom

mdgeorge4153:mastermdgeorge4153/math-classes:masterCopy head branch name to clipboard