Python module for time series data in Redis