pdfCropMargins -- a program to crop the margins of PDF files