Updated Travis CI configuration