updated pdfTOeps shell script

Changed to pdftops as the main engine for the conversion. It's *much*
faster and results in *much* smaller eps file sizes.
Changed port numbers