Change travis config to use tox