Socket.io configurable reconnect delay, reconnect bugfix, optional randomized reconnect delay, & named/minimized synchronousWorkers threads

Socket.io reconnect changes:
- bugfix for duplicate reconnects
- configurable reconnect delays
- optional randomized reconnect delays

AsyncServer.synchronousWorkers threadpool changes:
- use named threads
- minimize the number of workers when idle