Debian patches

Hello!

Here are a couple patches which incorporate some things in the Debian package.  In particular, they add a manpage and improve handling of build flags.

If you're interested, feel free to incorporate them upstream.

Thanks!
Doug