Fix generation of opam.1
Update man pages