add stdlib=c++11 multithreading support, introduce uint256.h, linting