GUI: implement storing the job queue on exit