Sonic pi 3.3 beta on Linux and midi port names

[nlb]

ok thanks for your explanations.

@robin.newman

So at present in beta builds you will get long port string with the initial name of the device repeated.

We should be able to get used to it without too much efforts

Does this version has an impact on this point : MIDI Keyboard with Sonic Pi No Audio - #16 by samaaron