Release 10.2.2, which un-disables PDF.js

With the advent of Firefox 30, pdf.js printing works again, so
we stop disabling it (Trac: #1483)
Merge branch 'master' into debian
Package 10.2.2

Package 10.2.2, which un-disables pdf.js