* Update main_manticore.py * Fix python3 in CMake [skip ci] * Update StreamingAndFormatting.cpp * [skip ci] * Update .travis.yaml [skip ci] * Temporarily disable OneOf test using manticore (it is broken) * Update README [skip ci]