GeditDocument: add an 'mtime_set' attribute

If the mtime is not already set, don't set the document as externally
modified.