Delete accidental addition of travis-mysql.py