closeFile

Remove a file from the workspace. Synchronous so it can run from a plugin's destroy; the textDocument/didClose notification is sent separately by didCloseFile.