executor: add executor install batch-exec instructions#1824

burmudar wants to merge 1 commit into

mainsourcegraph/docs:mainfrom

wb/exec-install-binary-execsourcegraph/docs:wb/exec-install-binary-execCopy head branch name to clipboard