Bump pdf.js

Also remove compressed.tracemonkey-pldi-09.pdf as we don't want a
default file to show in OC.

Some testing would be nice!

Think about clearing your cache properly … For me in Chromium Ctrl+F5 doesn't clean the cache properly~