Golog: added monitor macro.

monitor [p1, ..., pn] executes pn entirely, but before every step of pn,
p(n-1) is executed entirely. This continues up to p1.
Copied from HL.
Works very similar to withCtrl which was taken from ReadyLog.