Update packaging for redis
Update for sphinx

Also removes a few useless files, like the content-less README.Debian.