added proper Debian packaging