* PHP-5.5:
  Escape non-printable characters in the junit XML output

* PHP-5.4:
  Escape non-printable characters in the junit XML output

XML doesn't allow most of the characters < 0x20 and binary output
breaks XML parsers. Such characters are not allowed as entities
either, so the generated entities are escaped in order to be printed
as text.

* PHP-5.5:
  Fixed broken XML junit output due to escaping of CDATA sections

* PHP-5.4:
  Fixed broken XML junit output due to escaping of CDATA sections

I've removed CDATA and used htmlspecialchars as the output might not be UTF-8 safe, as pointed out by ircmaxell in 26b37f1792dfaf9b0b30f81e492c8f68b9ece571

* PHP-5.5:
  Fix broken Junit output with --disable-cgi

* PHP-5.4:
  Fix broken Junit output with --disable-cgi

* PHP-5.5:
  Fix run-tests.php with Valgrind >= 3.10.0.