PDF browsing history - using window.history

This PR implements a browsing history prototype for PDF files, using window.history.
The history is thus navigated using the standard browser history interface, since the consensus in #2768 seemed to favour this approach.

Related issues: #900, #750 and [bug 842670](https://bugzilla.mozilla.org/show_bug.cgi?id=842670).