Use PHP-Redis as Cache backend

Php Redis module provides some significant performance gains compared to the currently used predis. Problem is that we cannot use serverside sharding for our Redis cluster with phpredis. This means that our current failover procedure in the redis cluster will not work anymore.

• Make Cache optional. MetaGer should be fully functional even if the cache connection is currently not possible
• Switch configuration to phpredis with local sharding