Add integration tests to the project with Travis CI

[w0rp]

In order to develop any project, automated testing is essential. I reckon the type stubs can be tested by creating a directory with example files, and by testing the output of mypy after running mypy on those files. We can then ensure that certain symbols are stubbed, that certain types are inferred, etc.