Switch to a proper round robin thread scheduler.
Switch to a proper round robin thread scheduler.

Fixes #328.

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