Add -enumco option to herd, changes in compComp.ml (litmus)