add docker setup#88

sundaram2021 wants to merge 2 commits intoeregs:mastereregs/eregs.github.io:masterfrom

sundaram2021:patch/add-docker-setupsundaram2021/eregs.github.io:patch/add-docker-setupCopy head branch name to clipboard