message: remove jacobi from the list of tests
  because it takes too much time
diff: # do not use this script
  # it is written only for internal tests via Travis CI
  -FILES="usr/tests/hello usr/tests/hellof usr/tests/hello++ usr/tests/thr_hello usr/tests/pi usr/benchmarks/stream usr/benchmarks/basic usr/tests/signals usr/tests/jacobi"
  +FILES="usr/tests/hello usr/tests/hellof usr/tests/hello++ usr/tests/thr_hello usr/tests/pi usr/benchmarks/stream usr/benchmarks/basic usr/tests/signals"
  PROXY=/opt/hermit/bin/proxy
  for f in $FILES; do echo "check $f..."; timeout --kill-after=5m 5m $PROXY $f || exit 1; done
  