Editor manager should be singleton, patched layout restorer to avoid duplicate editor tabs#1024

kittaakos merged 3 commits intomainarduino/arduino-ide:mainfrom

editor-manager-diarduino/arduino-ide:editor-manager-diCopy head branch name to clipboard