Persistent managed sessions

This branch transitions storage of user session from the backend http servlet session to persistent data store (postgres).