Remove Coverband (which was commented out)

Also remove Redis, because it was installed for Coverband (see
fc92885b8a36dafee490111c02c1bf076f7a6c64)