Allow setting extra Shibboleth attributes inside the user token
Add doc about Shibboleth attributes