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

Coquelicot, Flocq, Interval