Make tracing a build-time instead of configuration-time decision.

Instead of a configuration flag --tracing, there are now
build targets 'tracing' and 'no-tracing'.