Add (very basic) man pages for opam-mk-repo and opam-check

This should fix #432