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

Package Flocq 2.3.0 and Interval 1.0.0