add LastChangeTime and Encoding into OpenDocumentTracker and use them in VFS