Point the "PyCharm mypy plugin" link to a working plugin instead of the abandoned one by Dropbox

[InSyncWithFoo]

I don't think Dropbox's plugin still works on any recent version of PyCharm, which means Robert Leinardi's is the only functional plugin left.