rmm: Use execprog() instead of own fork-exec
[mmh] / docs / DIFFERENCES_nmh_MH
2012-03-22 markus schnalkeMoved and renamed some documentation files.