highlighting: respond to document close and document changes

[larshp]

If a document is changed, the highlighing is not updated

if a document is closed, the extension still thinks the highlighting is activated

onDidCloseTextDocument