Improve Travis CI configuration