Trace

Still requires a few fixes, but the main part is done.
I am not sure that a wakeup always implies synchronization. There are sync primitives (like futexes or condition variables) that do wakeups but not synchronization.
I suspect it's better to annotate the sync primitives instead of scheduler.