[pypy-dev] automatic generation of report pdfs