Remove tox.ini file from repository

This file was used by the old jenkins buildserver, and is not needed any more.