delete all overlays if idris is quit; fixes #32