Remove depMap.
Comment fix
External events.
Ignore IntelliJ files
Add support for external events.

Something is off with DPOR.  Need to make tests for it.
Add "Logger" utility, which maintains vector clocks for each actor.
Merge branch 'master' of github.com:colin-scott/sts2-interposition
Remove extraneous print messages
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.
New lines.
Merge pull request #22 from NetSys/dpor

Add external events to DPOR.
Properly update the clocks
Slow down there, cowboy
Update comments, fix "deadLetters" src issue
Merge commit '4d382e5d805eeeca897fb6d9cbf09b1cadc80df0' into colin-rbcast