rmm: Use execprog() instead of own fork-exec
[mmh] / docs / schnalke-mmh.pdf
2012-12-08 markus schnalkeAdded my master's thesis, which explains mmh.