CI: add mypy checks for my.reddit, my.pocket and my.github.ghexport

tox.ini

@@ -31,11 +31,17 @@ setenv = MYPYPATH=doc/example_config
 commands =
     # TODO ugh. somehow, user installed (editable??) packages leak into this environment??
     pip install -e .[testing] .[optional]
+    pip install git+https://github.com/karlicoss/ghexport
     pip install git+https://github.com/karlicoss/hypexport
     pip install git+https://github.com/karlicoss/instapexport
+    pip install git+https://github.com/karlicoss/pockexport
+    pip install git+https://github.com/karlicoss/rexport
     # todo I guess use a script...
-    python3 -m mypy -p my.hypothesis \
-                    -p my.instapaper \
+    python3 -m mypy -p my.github.ghexport \
+                    -p my.hypothesis      \
+                    -p my.instapaper      \
+                    -p my.pocket          \
+                    -p my.reddit          \
                     --txt-report  .mypy-coverage \
                     --html-report .mypy-coverage \
                     {posargs}