Add automatic deployment on git push#20

cyderize wants to merge 3 commits intoShortestPathLab:mainShortestPathLab/MAPF-benchmark-web:mainfrom

cyderize:deployment_changescyderize/MAPF-benchmark-web:deployment_changesCopy head branch name to clipboard