WebSession: split user info and session
WebSession: split user info and session

* Uses Redis for storing user information.

* Makes session lighter for all users.

tiborsimko/invenio-records,inveniosoftware/invenio-search,tiborsimko/invenio-records,inveniosoftware/invenio-records,inveniosoftware/invenio-search,tiborsimko/invenio-search,inveniosoftware/invenio-records,tiborsimko/invenio-search