C++11 library containing efficient supplements to the standard thread support library