Change name of trace settings

darcs-hash:20081103164934-58252-e721d26eb6ffce9831a4270d4bd3b89371993cf7
Made tracing options (and variables) more consistent

darcs-hash:20081103185329-1e3d8-cd44dadab8d4c52bbee5a9da7d47261d89963781