Proxy Logout

For now a purpose-built extension for a single family of deployments. Do not look here for a general solution. This is in github only because undersigned feels the release process is here easier.