added report-test-results-pr.py a script to report automatically the results of the tests of a pull request.