To compress multiple pdfs we
  1. convert them to postscript files (step 1)
  2. use the batch files describe below to convert them to compressed pdfs

Some problems we experienced: