PDFedit - pdf manipulating library, GUI, tools