File saving: check if the file is externally modified

Store the modification time in GtkSourceFile, and update the value on
each file loading and saving.