Warn before saving a file modified outside Alloy

[s-arash]

I occasionally lose my work because I forget to reload before making changes to a file when I switch back to Alloy from another editor.
When a file is about to be saved, Alloy can use the file modification date to check if it has been modified since last loaded and give a warning.