Fix repllistcomps: use the correct header
[mmh] / docs / schnalke-mmh.pdf
2012-12-08 markus schnalkeAdded my master's thesis, which explains mmh.