Point Travis CI config to use Tox