A mini-library adding 'synchronized' to C++11