push.js: cache dom before leaving the page, rather than right after loading it

This way dynamically added dom (vis js) also gets cached. So that `history.back()` shows the page exactly the way it was right before user left it.