Detect file deletion

[niello]

Now the deleted file is detected as modified, asks for reloading and then complains that it can't be loaded, leaving a content opened. See Notepad++ as a good reference of desired behaviour.