forw: convert system() to execprog(); fix buffer check
[mmh] / docs / schnalke-mmh.pdf
2012-12-08 markus schnalkeAdded my master's thesis, which explains mmh.