Merge develop into master (cleanup logs)#990

Didayolo merged 2 commits intomastercodalab/codabench:masterfrom

developcodalab/codabench:developCopy head branch name to clipboard