add quickcheck.1.0.0 to opam-1.0