Package Flocq 2.3.0 and Interval 1.0.0

Also, remove Coquelicot 2.0.0 (incompatible with Ssreflect 1.5).