Take over maintenance of flocq and interval.
Weaken dependency on Coq version.
Enable parallel builds.
Add package for Coquelicot.
Merge pull request #8 from Barbichu/master

CoqEAL and fpmods packages for Coq.
Merge pull request #7 from silene/master

Coquelicot, Flocq, Interval
Update url
Delete mathcomp-1.5rc1.tar.gz
Update url
Package Coquelicot 2.0.1.
Merge pull request #9 from silene/master

Package Coquelicot 2.0.1.
0.9.1 release of CoqEAL (in order to compile with ssr+mathcomp 1.5 release)
enabling parallelisation on mathcomp + ssr
configurable parallelisation in CoqEAL
update fpmods