Package Coquelicot 2.0.1.

A last minute change in Ssreflect 1.5 broke Coquelicot, so here is a new version.

I don't know what is the Opam policy about obsolete packages. Should I just remove the Coquelicot 2.0.0 directory?