Add tool and version in SimGrid file, update grid5000.xml example