Memory is now properly read on all platforms.
Fixed timeout benchmark parameters.
Put .NET memory recorder in another module.

The rationale is given by the fact that now Galois simulation can use
it.
Updated SimPy sources used for benchmarks.