Trivial debianization updates

Here's a few updates to INSTALL.Debian and debian/control.