Improved Travis CI configuration