Add CI and PyPI badges in README, install redis when testing in CI