Set up Travis.CI to use tox