Debian updates

Debian packaging and documentation updates.