display gcc version in waf configure
Revert 097891ca7dea (Change upper-bounded TimeChecker to actually do what documentation says) and fix documentation instead