patch-worker.js

Originally written for PDF.js, but removed because it was no longer
needed. However, it may be useful to others, so it's added to this
repository.