Updated TravisCI configuration