Releases webots_manager 0.0.3