Merge Develop into Master (v1.31)#2467

ObadaS wants to merge 4 commits into

mastercodalab/codabench:masterfrom

developcodalab/codabench:developCopy head branch name to clipboard