Add a man page

Weee

This will save the Debian packager some work. (Man pages are required in Debian.)  Shipping a man page upstream also ensures it's available in other distros.