Travis: Use Boost.Regex since gcc still doesn't have std::regex