scripts: remove old travis-ci stuff

Author: markus-wa

scripts/ci.sh

@@ -2,11 +2,6 @@
 
 set -e
 
-# for the CI
-if [[ "$TRAVIS_COMMIT_RANGE" != "" ]]; then
-	commit_range=${TRAVIS_COMMIT_RANGE/.../..} && git diff $commit_range >/dev/null && base_rev=$commit_range || true
-fi
-
 # default reference/baseline is master
 if [[ "$base_rev" == "" ]]; then
 	base_rev='origin/master'