Update OPAM setup

Recent OPAM versions generate more elaborate setup code.