ci: add install-types to install stub packages

tox.ini

@@ -59,7 +59,8 @@ commands =
     pip install -e .[testing,optional]
     pip install orgparse # used it core.orgmode?
     # todo add tests?
-    python3 -m mypy -p my.core \
+    python3 -m mypy --install-types --non-interactive \
+                    -p my.core \
                     --txt-report  .coverage.mypy-core \
                     --html-report .coverage.mypy-core \
                     {posargs}
@@ -89,7 +90,7 @@ commands =
 
     # todo fuck. -p my.github isn't checking the subpackages?? wtf...
     # guess it wants .pyi file??
-    python3 -m mypy \
+    python3 -m mypy --install-types --non-interactive \
                     -p my.endomondo                   \
                     -p my.github.ghexport             \
                     -p my.hypothesis                  \