Added JPF to path, pulled in fixed SymbolicSequenceListener
Created SPF-related files
Trying to make this a JPF module/project/whatever.
Pulling in listener code, since now it should be accessible by JPF
when @using tplex.
Lots of work on SymbolicExternalWorld
Pulling in the various changes that have happened in master
Merge branch 'master' into psxlistener
Merge branch 'master' into psxlistener
We can generate tests! They're usually not compliant XML, because depth
limits get hit before tags get closed properly. But still!
Test case generation works! Woo hoo! Redundant tests are removable, and
it looks like compliant XML is being put out.