Add server termination extension

This is intended to be used by screen lockers, where the server must exit if the screen locker does, to avoid a security hole.