Added some information how to use MIDI on Linux