Added files for Debian packaging