Added length property to MidiFile and updated mido-play to use it.