Benchmark different malloc versions in different binaries

[maerhart]

Currently all malloc versions are run in the same binary in sequence. This means they can influence each other (e.g. if one is buggy and does not deallocate all memory). We should compile one binary for each malloc version and call them in sequence in the python driver script.