Improve the UX of the Arduino language server#1255

kittaakos merged 3 commits intomainarduino/arduino-ide:mainfrom

#714-vol2arduino/arduino-ide:#714-vol2Copy head branch name to clipboard