Fixed exec bit.
diff --git a/tool/travis.sh b/tool/travis.sh
old mode 100644
new mode 100755