Bump pdf.js

Also remove compressed.tracemonkey-pldi-09.pdf as we don't want a
default file to show in OC.
Updated pdf.php

Pretty much based on viewer.html, bumping this as well.
Merge pull request #919 from Kondou-ger/bump_pdf.js

Bump pdf.js