Add a new "experiment" execution-control mode in which tracees are
allowed to diverge from trace.

See long comment at the top of experimenter.h.