Changed debug-mode coroutine accounting to work with thread switches.
Merge branch 'next' into daniel_resharding_responsiveness
Refactored backtrace formatting code.
Started implementing the coroutine profiler
Began to outline coro profiler report generation.
Some kind of rudimentary coroutine profiler reporting. However it is extremely slow. Maybe due to the backtraces.
Profiler is much faster now
The coro profiler now reports data in the form of Python ReQL input.
Removed watchdog. It seems redundant when we have the coro profiler.
Coro profiler now reports mean, stddev, min, max
Addr2Line conversion in coro profiler
Increase precision for reporting time stamp in coro profiler.
Also notify coro_profiler on notify_now_deprecated()
Do not report execution points with empty samples.
Merge branch 'next' into daniel_coro_profiler

Conflicts:
	src/arch/runtime/message_hub.cc
Fixes faulty merge
Merge branch 'next' into daniel_coro_profiler

Conflicts:
	src/arch/runtime/message_hub.cc
Adds priority profiling to coro profiler. (and removes some white spaces)
Adds missing comma in coro_profiler report output.
Backtraces return empty string instead of "?" if they cannot find a symbol.