ci: Cut out commented-out versions of tools/lint calls.

This may or may not be temporary, but either way, the other code is
there in source control, and the "why" of disabling gitlint is the
helpful bit for a comment.

tools/travis/backend

@@ -6,9 +6,7 @@ echo "Test suite is running under $(python --version)."
 set -e
 set -x
 
-#./tools/lint --backend ${CIRCLECI:+--no-gitlint}
-# TEMP: turn off git lint
-./tools/lint --backend --no-gitlint
+./tools/lint --backend --no-gitlint  # gitlint disabled because flaky
 ./tools/test-tools
 ./tools/test-backend --coverage
 

tools/travis/frontend

@@ -5,9 +5,7 @@ source tools/travis/activate-venv
 set -e
 set -x
 
-# ./tools/lint --frontend
-# TEMP: turn off git lint
-./tools/lint --frontend --no-gitlint
+./tools/lint --frontend --no-gitlint  # gitlint disabled because flaky
 
 # Run the node tests first, since they're fast and deterministic
 ./tools/test-js-with-node --coverage