Merge pull request #9 from silene/master

Package Coquelicot 2.0.1.
Remove package for Coquelicot 2.0.0.
Add package for Flocq 2.3.0.
Add package for Interval 1.0.0.