Debian packaging for PHP Redis