Naive coverage tracker, using Redis to store data, and Shields.io to render badges