To allow mypy to run successfully it needs to have various imports from
the `typing` module available.  However, we don't want to add those as
permanent dependencies of this library, so hack the code for the mypy
CI step to add the typing imports.