Don't run manual tests in CI

Author: jpieper

travis-ci.sh

@@ -2,5 +2,5 @@
 
 set -ev
 
-./tools/bazel test --test_size_filters= --config=host //:host
+./tools/bazel test --test_size_filters= --test_tag_filters=-manual --config=host //:host
 ./tools/bazel build --config=target //:target