Adding files for debian packaging