First attempt at a "herd to lem" translator.

You can try it out using the following incantation:
./herd -model cpp11.cat -dumplem testsuite/CPP11Tests/MP_dr.litmus