Add man pages

- Add the man pages for the userland utilities.  But we can't install
  them, since distutils is incapable of doing that.