Static type checking

- Since we are purely Python 3, it would be convenient and nice to have typing information at least in the interfaces which are publicly exposed.
- Add `mypy` to `test-requirements.txt` and add static type checks to Travis CI builds.