Merge branch 'master' of gitlab.aicrowd.com:flatland/flatland into feature/observation-multiple-agents