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!