Removed debian packaging files. They are now in branch debian.