Add some linting for Python code

Locally and in CI:

• pylint?
• black?
• mypy (with annotations, since it works with python 3.5!)