introduced notification areas, improved save and saveall buttons (now they are consistently enabled and disabled when needed), improved compile and typecheck (they automatically save the selected file if the file is unsaved)