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?
Sorry, I misread. The last 0 is outside the for loop.