add mysqldiff.py