Updating Grid'5000 doc