Herd minor changes.
Astract away condition checking in litmus.
- generator changes : handle Leave and Back for bigdetours
  [an alternative implementation as Leave/Back Communication relation
   would probably be more robust...]

- Tool change, mfilter now produce false condition on demand
  (option -acceptempty <bool>) and carries over the memevent/litmus
  nature of logfile from input to output.