Update to opam-1.2.0