Include both midi players now

Let the server owner choose if they want to use old player otherwise
default to old player if can't obtain sequencer.