Fixes for launchers#72

asm0dey merged 5 commits intomainKotlin/kotlin-interactive-shell:mainfrom

khud/0.3-fixesKotlin/kotlin-interactive-shell:khud/0.3-fixesCopy head branch name to clipboard