PHP library for merging multiple PDFs