Audit Litmus code for herdtools7 dependencies #252
Description
Currently, c4f is licenced under the intersection of the MIT and CECILL-B licences; this is because the litmus parsing and utility code (and perhaps bits of the C code) ultimately derive from code borrowed from herd.
It would be nice to be able to licence c4f just under MIT, like the rest of the c4 project. I am not a lawyer, but I think this would involve clean-room reimplementing all of the affected code.
It may well be at this stage that the easiest thing to do is decouple c4f from the litmus format entirely - maybe we'd spin off a separate project (under MIT/CECILL-B) that manipulates litmus tests and maps from, say, C+aux.json to and from litmus.