SimGrid update

Added the latest stable version of SimGrid (3.10)…