Python tools to help working with PDF files (extract comments, create search index, ...)