#5 External tool builders should not use progress monitor

[Mirko Raner]

External tool builders typically print out information on the console, which gets mixed up with the progress monitor information that is sent to the same stream. Progress reporting via a progress monitor should be turned off for build steps that use an external tool builder.