Tweak .gitignore--add .tox