Patch to add user after login to BennuPortal
Adding role information in portal.js
New Feature: Transactional indexation of domain with lucene
cas logout properly implemented, caslogin no longer gives warning on load
Added fallback strategy for language resolution in mls functions