Update to webots 8