WebSearch: get_permitted_restricted_collections()
Implemented new get_permitted_restricted_collections().
Its result is stored in the user session, at login time,
ready to be exploited during the search.
Added CFG_WEBSEARCH_PERMITTED_RESTRICTED_COLLECTIONS_LEVEL
to configure this facility.