#14: make travis_setup.sh executable