SimGrid update

Add the latest stable version of SimGrid…