minor proxy cleanup; more work on TCP_NODELAY for a dummy example using bots and tornado