small collection of python scripts for pdf manipulation