Migrated to Webots 7.2.0

Mainly: used the new Motor API rather than the deprecated Servo one.