Switch to updated TravisCI config