Debian packaging

This pull requests adds debian packaging.