External events.
Add support for external events.

Something is off with DPOR.  Need to make tests for it.
TransDPOR checkpoint.
Switch to traditional DPOR.
Change the way alreadyExplored is being tracked.
Change the way explored interleavings are managed.
Change how the next trace is scheduled.
Cleanup.