documentation fixes
fixed ColorTextReporter: some member functions were still having their PHP4 artifacts
Add the generate() method to the Mock class; note that this one is almost equivalent to the Mock::generateSubclass() method.
whitespace police raid: now everyone is on par again with indent @ 4 spaces
update test overview HTML page
fix XML structural message failure in acceptance tests (and possibly others) due to incorrect encoding of the message content. The same fix has been applied to the HtmlReporter as well: illegal Unicode values are replaced by a Unicode Bad Marker (http://www.php.net/manual/en/function.htmlentities.php : ENT_DISALLOWED)

WARNING: this updates the PHP requirement for this library to PHP version >= 5.4.0
update min reqd PHP version from 5.0.5 to 5.4.0 given previous fix/commit which used a htmlentities() flag which was introduced in 5.4.0
fix TAB->SPACES which wasn't caught by the whitespace police raid earlier: no commandline shows proper formatted '-h' help page.
as GET requests and other 'web' test cases assume a default URI (http://www.lastcraft.com/test/) which isn't yours or mine, it is opportune to be able specify our own default URI, particularly when running tests from the commandline (where we cannot let the PHP 'deduce' a default site+rootdir from the test html page itself): here we show the active default and prepare a commandline/page-query-parameter (server-uri) to help us set the default server URI the way we want/need it
continuation of previous commit: now both commandline and browser-based SimpleTest runs accept the user-specified server_uri argument to point at, for example, the local provided ./test/site/ directory which has been provided as part of this repository. Example commandline:

         php acceptance_test.php  --server-uri=http://visyond.lan/php/lib/SimpleTest/test/site/
refactored the 'default server URL' APIs into their own class to prevent dependency loops in the PHP source files. Now the default server URL can be set from the commandline without any trouble. (code moved from web_tester.php to default_server.php)
fixed crash in shell_tester.php
partially fix comment typo
fix remote_test: it should also pick up the user-specced default server URI before trying anything else