Update to support opam 1.0.0; Fix #18