add run-mypy.sh (#26)
* add run-mypy.sh
* use for github CI
* add to gitlab
* mypy -> python -m mypy
Co-authored-by: 
Andreas Klöckner <inform@tiker.net>
* add run-mypy.sh
* use for github CI
* add to gitlab
* mypy -> python -m mypy
Co-authored-by: Andreas Klöckner <inform@tiker.net>