Issue #104: INSTALL: Create a distribution package for Debian (*.deb)