Text editor should update timestamp

[Spike-from-NH]

SFM provides the configuration option "Keep old last-modified value at file operations". However, in either case, files edited with the SFM text editor should always get the current time as the last-modified value. Currently, last-modified is unchanged after an edit.