Remove package for Coquelicot 2.0.0.
Add package for Flocq 2.3.0.
Add package for Interval 1.0.0.
Merge pull request #11 from Barbichu/master

Fixing CoqEAL and fpmods to compile on top of ssreflect + mathcomp 1.5 release (+ parallelisation for ssr+mathcomp)
Merge pull request #10 from silene/master

Package Flocq 2.3.0 and Interval 1.0.0