Add mypy config file with stubs path

This makes it much easier to run mypy outside the makefile.