add files for Debian packaging