Add support for generating scripts to run benchmarks locally.

.gitignore

@@ -0,0 +1 @@
+/.mypy_cache

mypy.ini

@@ -0,0 +1,15 @@
+[mypy]
+disallow_untyped_defs = true
+# TODO: I'd like to disallow variables that have an implicit Any type (e.g.,
+# variables copied from fields of an argparse args object), but I don't see an
+# option for that as of 2022-01-07. disallow_any_expr causes so many other
+# errors that it isn't worth it. ~ Matt
+
+# To enable narrower suppression comments.
+show_error_codes = true
+
+# The current version of dmypy in our preferred Ubuntu 20.04 environment (0.761)
+# doesn't support `follow_imports = normal`; that was added in 0.780
+# (https://github.com/python/mypy/issues/5870). `follow_imports = error` is
+# working for me in VSCodium so far. ~ Matt 2022-01-06
+follow_imports = error