Removed automatic revokatio of configuration in forced logout. In voluntary logout make it depend on a parameter. 


As for the revokeConfig parameter in logout CGI it wil depend on a redesign of the logout CGI. If we don't put something to choose between revokation or not; I will choose to _not_ revoke