Adding libmathcomp-coq
Merge branch 'master' of https://github.com/knxm/mathlibre
update with doc/.gitignore