FRA-80 CDM: Share Magnolia sessions

Use new version of Jedis with connection pool.
Log time and memory usage.
Support compression.
Support expiration in Redis instead of in Tomcat.