Fix: switching workspace on logout (#592).

When logging out while a private workspace was selected a public workspace (and thus a public topicmap) is selected programmatically.

New Access Control event:
{{{
logged_out_2
}}}
We have 2 "logout levels" now (in analogy to the 3 "init levels").
This allows plugin's to orchestrate their logout actions.

See #592.