opam 0.9.5

update opam to version 0.9.5