As report.log and report.pdf conflicts with the ones stored on
www.github.com, I therefore reupload these files again to remain the
consistency.