``mypy`` in GitHub Actions

[Mischback]

mypy fails in GitHub Actions workflows sporadically. It can not be reproduced deterministically, so for now this is fixed by disabling the mypy pre-commit hook during CI.

This does introduce additional complexity to the Makefile.