Initial Debian packaging