Fix addon install flow for existing projects#204

eluce2 merged 1 commit intomainproofsh/proofkit:mainfrom

feature/fix-addon-install-flowproofsh/proofkit:feature/fix-addon-install-flowCopy head branch name to clipboard