Make tools/travis/+.sh executable
diff --git a/tools/travis/build.sh b/tools/travis/build.sh
old mode 100644
new mode 100755
diff --git a/tools/travis/publish.sh b/tools/travis/publish.sh
old mode 100644
new mode 100755
diff --git a/tools/travis/setup.sh b/tools/travis/setup.sh
old mode 100644
new mode 100755
diff --git a/tools/travis/test.sh b/tools/travis/test.sh
old mode 100644
new mode 100755