Write a stub file for mypy

[MichalKononenko]

Mypy is a pretty cool static type checker for Python. However, it needs to have a stub file defined for all third-party libraries used, in order for us to get the most out of it. This certainly needs to be done before running mypy on Travis CI. The benefits of this would be that we would get the power of static type checking.