A tool for controlling pitches in MEI files