Software for automatic logout on linux machines