Changes from 27/5/2014.

Changelog:
2014.05.27:
- Updated the "BasicTaskScheduler" 'dummy socket' hack (to work around a bug in Windows'
  "select()" implementation) to make the dummy socket number a member variable.  This allows
  us to close this socket in the "BasicTaskScheduler" destructor.  (Apparently this matters
  to some people...)