Method replaceFileWithString

* Replace the file with s if s is different from theFile's contents. * Return True if theFile was changed.

(
        encoding: BufferEncoding,
        fileName: string,
        s: string
    )