Added short options to mido-play.