Static type checking

[onyb]

• 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.