shrinkpdf-1.0

The shrinkpdf script has been available for a long time on its project website. It has gone through a number of iterations, but was never properly versioned.

The script is quite battle-tested by now, so let's create a first official release.