Switch data storage from Redis to InfluxDB

[rhyolight]

I shoehorned all the temporal into Redis using sorted sets, but this would be much more efficient and easier to manage if we were using a proper time-series database like InfluxDB.