Tweaking travis and tox setup