Travis CI configuration and associated changes