Tried new format for Travis CI configuration