Started a version of herd that will represent init writes as
plain write events.
Merge branch 'master' into initwrite
More on init writes :
  + Include init write to x is co-before writes to x in pco
  + Pretty print
Tidy up initwrites.