Update Annotator PDF plugin to a4b976736 (from typed-packaging branch)

This new version replaces PDF.js's top-level text extraction logic
with a manual override, in order to try to avoid concatenated words.

Fixes #940.