Update mysqldiff.py