Fully automate dev setup with Gitpod#1

MYGEORGI wants to merge 1 commit intocausenet-org:mastercausenet-org/CIKM-20:masterfrom

MYGEORGI:MYGEORGI/gitpod-setupMYGEORGI/CIKM-20:MYGEORGI/gitpod-setupCopy head branch name to clipboard