PR Tests: report tests results in a text file that the summary page interprets

This avoids modifying and html file directly, and will make it simpler to modify.