Use mutex in communication debugging output

[sebastianst]

Otherwise, send and receive threads write to cout at the same time, which possibly leads to interleaved output.