add Debian packaging files