mypy: Move follow-imports to config file.

It's cleaner to have this configuration in a nice declarative
config file than embedded in a script.

mypy.ini

@@ -1,6 +1,9 @@
 [mypy]
 check_untyped_defs = True
 disallow_any_generics = True
+
+follow_imports = silent
+
 strict_optional = True
 # This is a more explicit supporting form of strict-optional:
 no_implicit_optional = True

tools/run-mypy

@@ -83,8 +83,7 @@ if not python_files and not pyi_files:
     print("There are no files to run mypy on.")
     sys.exit(0)
 
-extra_args = ["--follow-imports=silent",
-              "--cache-dir=var/mypy-cache"]
+extra_args = ["--cache-dir=var/mypy-cache"]
 if args.linecoverage_report:
     extra_args.append("--linecoverage-report")
     extra_args.append("var/linecoverage-report")