Update to OPAM 1.2.0