Updated configs, grevys tree, new cmakelists to support new version of boost