Repair Travis.CI and bring to GREEN

Travis.CI is a bit of a pain to work with if it's a C++ project that uses C++11 features and all that they provide is some legacy jazz. Let's fix that (for Wintermute).