GeditDocument: update modification time