Propagated Webots 7.2.4 modifications (Olivier)

* improved robustness of remote-control and crosscompilation (especially on Windows)
* updated minor field modifications due to the upgrade to Webots 7.2.4
* misc minor improvements