Provide minified version of pdf viewer

The complete pack of the pdf viewer is pretty big. It introduces a significant overhead in a solution that maybe only wants to show a PDF at one place.

Minifying seems possible: https://github.com/mozilla/pdf.js/wiki/Frequently-Asked-Questions#minified