Updated MIDI import panel
Fix MIDI instrument names
MIDI import operation: dots instead of ties
resolve conflict for pull request #340
Merge branch 'trig-ger-midi_gui'