mididiff script: use git diff