travis: Remove verbose coverage report from end of build output.

tools/test-backend

@@ -33,6 +33,9 @@ if __name__ == "__main__":
     parser.add_option('--coverage', dest='coverage',
                       action="store_true",
                       default=False, help='Compute test coverage.')
+    parser.add_option('--no-verbose-coverage', dest='verbose_coverage',
+                      action="store_false",
+                      default=True, help='Disable verbose print of coverage report.')
     parser.add_option('--profile', dest='profile',
                       action="store_true",
                       default=False, help='Profile test runtime.')
@@ -82,6 +85,7 @@ if __name__ == "__main__":
     if options.coverage:
         cov.stop()
         cov.save()
+        if options.verbose_coverage:
             print("Printing coverage data")
             cov.report(show_missing=False)
         cov.html_report()

tools/travis/backend

@@ -4,7 +4,7 @@ set -x
 source /srv/zulip-venv/bin/activate
 export PATH=$PATH:/srv/zulip-venv/bin
 ./tools/lint-all
-./tools/test-backend --coverage
+./tools/test-backend --coverage --no-verbose-coverage
 ./tools/test-management
 ./tools/test-migrations
 ./tools/test-run-dev