Cycle detection and Graphing/Debug information

Added the following features:
- Cycle detection: some programs may cause Concuerror to analyze an infinite loop of actions. This feature detects when this happens and, after a fixed number of sequence repetitions, exits the loop, allowing Concuerror to analyze the rest of the program.
- Graphing information: provides information about what actions are being taken by Concuerror, which may be parsed and used to provide a graph of the execution, or as another way to debug Concuerror.