Updating Grid'5000 user documentation