Merge pull request #238 from fabienrohrer/master

Migrated to Webots 7.2.0