Debian packaging for redis