add current and previous documents to currentDocumentChange event

Useful nit to avoid calling `DocumentManager.getCurrentDocument()` everytime when hooked on the event and also the only way to know what was the previous document I think.