Add version 4.2.0 of the Google Hyphenator.js.
This code does not exist in any package manager, and
it's also not available from git, so the only thing
we can do is include it statically.