documentation not up-to-date

[Gerrit Hohl]

In the file workloads/include/polymix-4-guts.pg in line 125 is the property "synchronize" of a "Phase" object used which isn't documented.
http://www.web-polygraph.org/docs/reference/pgl/types.html#type:docs/reference/pgl/types/Phase

Phase phDec2 = { name = "dec2"; goal.duration = rampDur; populus_factor_end = 0; synchronize = false; };