reg_exp arg is now a string instead of a string array
Added benchmarking framework, and instrumentalization in some of the classes.
Fixing.
more instrumentation
Left out the most important part -- here is the actual generic trace parser.
Added optional defaulting fields.  eg: (?<name>)? expands properly.
Added default parser (currently nonfunctional until plume parameter parsing)
Better TraceParser defaults, function and predicate utils
NFA state representation with bitwise transfer function, and WIP model checker
Added Main with plume-based command-line argument parsing; integrated with TraceParser.
command-line interface bugfix, works with michael's peterson regexps
Caching of input bitsets.
Commenting + refactoring of StateSet responsibilities
Cleaned up state machines + wrote unit tests
Added TODOs comments to some fsmcheck code.
Make main actually invoke synoptic bisimulation / refinement
Fixed a simple compile-time bug and a few options run-time bugs. Added more robust logging, modified command line syntax to take log filenames as non-option command line args at the end of the command line. Added a few other options, for log verbosity and to control output of initial graph.
Improving model checker + integration into refinement (still untested) + annotation of isFinal
Intermediate round outputs now controlled by command line flag.
Initialize model checker oldFailure bitsets + slightly better debug output output.