Detect pdfjs version

Add utilities for PDF.js version-based decisions,
and add a marker class for ironing out a specific
version incompatibility problem using CSS. 
(See code comments.)

This has already been discussed here:
https://github.com/hypothesis/h/pull/1792#issuecomment-66702371

Various opportunities for simplification were proposed, but in the end,
the conclusion was that they won't stand up to scrutiny...
... except using `parseFloat()` instead of `parseInt()`,
which I have now done.

Any further comments?
Okay. I was not aware of the three dots, exclusive end syntax. I thought it was just the CS parser being forgiving.