Debian package

This adds files necessary to build a Debian package