Pipe coverage into Codacy, and enable the Codacy mypy checker. If possible and simple, add mypy to the local `make test` recipe too.