'time' command now triggers profiler.
'time' command now triggers profiler.

Wanderfalke/doppio,netopyr/doppio,Wanderfalke/doppio,plasma-umass/doppio,jmptrader/doppio,plasma-umass/doppio,plasma-umass/doppio,netopyr/doppio,Wanderfalke/doppio,jmptrader/doppio,netopyr/doppio,bpowers/doppio,jmptrader/doppio,bpowers/doppio,bpowers/doppio