Manipulations of PDF with PHP