fixed opam config for opam 1.2.0 (github)