scripts/msvc10_to_msvc12.cmd: Helper script for conversion from Visual Studio 2010 to 2013
syncprims-cxx11.h: Add #include <algorithm> for std::min to fix VS2013 compilation.