Port Coq code to use 'done' tactic instead of 'easy' and benchmark#129

ndcroos wants to merge 5 commits intorocq-community:masterrocq-community/math-classes:masterfrom

ndcroos:masterndcroos/math-classes:masterCopy head branch name to clipboard