Redis cache

Create a Redis interface to be used instead of the flatfile database interface.

Some tests for the Redis interface have been added, as well as a small verification script to test our Redis stub. This could be used for integration testing, but that would require running Redis in the test environment.