Persistent managed sessions

This branch moves user session from http servlet session to persistent store.