update permissions on travis-setup.sh
diff --git a/tool/travis-setup.sh b/tool/travis-setup.sh
old mode 100644
new mode 100755