PDFedit pdf manipulation library, gui, tools