Added a cask for pdftik server.

pdftk server is a very powerful utility for collating, concatenating,
and manipulating pdf files from the command line.