CI: Use mypy to perform type checking a build time

We started to implement python3 type annotations for some of our code. It would be good to edit the CI pipeline and add mypy static type checking on the code at build time. This has the potential to catch a few typing errors.