Make NeonGoby fully context-sensitive

See comments on each commit for what's going on. 

As a side effect, we recorded thread IDs in the log, so that we could accurately compute the call stack of each thread.