support multiple midi devices
bug fixes
Merge branch 'master' of github.com:digego/extempore
Merge branch 'master' into nodevice-audio

* master:
  bug fixes
  support multiple midi devices