herd: add '++' operator (add elt to a set) anad matching over sets.
herd: commas in show/unshow directive arguments are now mandatory.
      Add them in commited models