mypy: In non-daemon mode, follow package imports.

Signed-off-by: Anders Kaseorg <anders@zulipchat.com>

tools/run-mypy

@@ -78,6 +78,7 @@ mypy_args = extra_args + python_files + pyi_files
 if args.no_daemon:
     rc = subprocess.call([mypy_command] + mypy_args)
 else:
+    mypy_args += ["--follow-imports=skip"]
     rc = subprocess.call([mypy_command, "status"], stdout=subprocess.PIPE)
     if rc != 0:
         print("Starting mypy daemon, this will take a minute...")