PDF: update for latest PDF.js + metadata support

This PR brings several changes for the PDF support.

 * Now the PDF plugin is able to properly detect the URL and fingerprint of the PDF document being rendered by PDF.js, even if the URL is distorted by the chrome plugin.
 * Metadata extraction: From now on, the Document plugin is not supposed to be loaded, when using the PDF plugin. The PDF plugin is now replacing this functionality for PDF. (Currently, it can only extract URLs and title, but that's all we have or need for now.)

Solves #72.

  * * *

Don't merge this before https://github.com/hypothesis/h/issues/1407 is fixed, because as of now, this code has a temporary workaround, which should be removed.
Would be good if the comment showed what the unwanted prefix is, `52` is a bit vauge.