Update article install-opam to latest OPAM

See commits for a summary of changes