Remove Debian packaging support files

I do not use Debian anymore and cannot commit to keep the packaging
support for it up-to-date. Hence, for the moment the files under debian/
are removed.