Add a man page and install it on Linux (fixes #357)