Update imandrax installer to point to gcloud bucket#66

emeinhardt merged 2 commits intomainimandra-ai/imandrax-vscode:mainfrom

eric/update-imandrax-installer-urlimandra-ai/imandrax-vscode:eric/update-imandrax-installer-urlCopy head branch name to clipboard