Actually, my program HARMONY can also produce (straight from abc) MIDI files with embedded lyrics, OR, by a menu option, embedded chord symbols, which can be displayed karaoke style.

It can also produce abc from MIDI. It would probably be suitable for the task.

(Trial version is at www.greenhedges.com )