Take over maintenance of flocq and interval.
Weaken dependency on Coq version.
Enable parallel builds.
Add package for Coquelicot.