A replacement for the xlogout program (obsolete).