PdfBinder: Merges Several PDF Documents into One