Add README.txt
README a litte more detailled.
Fake revision numbers with git rev-list --count HEAD
Better error message for duplicate tests in input.
Correct bug in parsing of option -skipchecks
Change rev numbers to HEAD commit tag.
* Get proposition compilation out of skel.ml
Add external source file for condition compilation.
Rename -skipcheck into -skipchecks, to match documentation.
Keep a -skipcheck option for backward compatibility.
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.
Remove those two experiemental models.
Added specialised arm.cat and power.cat
Commit for version 5.99-C
Attempt for arrow formatting in Pretty.ml, disabled (back=false).
New implementation of Leave/Back as comminication relaxation candidates.
Commit changes in gen again.
Complete (?) naming scheme for bigdetour tests.
Warm up that works for nexus7
New release scripts.
_linux_affinity.c still have to be tested on ARM platforms.