capitalize Coq
Merge pull request #2 from UniMath/master

capitalize Coq