Added JCute and a compatible external world, just a hacky copy and paste
for now.
Merge branch 'master' into jcute
Added step limit to JavaPlan
Refactored symbolic world to be more flexible when changing tools.
Broke up microstep methods into one method for each starting state. 

Hopefully this cuts down method sizes enough to run under JCute and
doesn't hit a constraint elsewhere.
Changed state transition method name to be more unique
Restructured scripts into smaller pieces. Also added JCute libs.
Fixed up tutorial, moved some classes around, created a standard driver
I think this fixed the bad things? Ugh git
Now I think it's all better.
Added support for random test case generation.

For now, numbers are simply ranged from 0 to 1000.
Added probabilities to random booleans, added working version of the
"remove unreachable states" optimization.
Cleaned up some unused and obsoleted classes