Beginning attempt at nonboolean variables. Only converts then solves.
BUILD: delete temporary Mac-related files.
De-expand nonboolean variables in automaton.
Move bitvector-to-int routine to dedicated source file.
Handle "dont care" bits for expanded nonboolean variables.
JIT sub-levelset bounds computation; see compute_minmax() in solve_metric.c
EXAMPLE: restrict motion of obstacle to adjacent cells (as it should be).
Horizon computation; needs more testing.
Partial simulation support; framework for soon-to-come jit simulation.
ADD: actual sim code for previous commit, and an example.
jit works for horizon of length 1; try examples/gridworld_nonbool.spc
EXAMPLE: 4-connected for horizon of 1.  Use "-t aut" to get simulation trace.
Hard-coded example of 8x16 gridworld with 1 dynamic obstacle.
Tunnel example!  rhc algorithm missing finite memory, but not needed here.
...now with finite memory, as in the manuscript!
EXAMPLE: improve sys start position.
EXAMPLE: goalie
TRIV: Delete accidental ref to non-existing function
Declare domains explicitly in the variable list of a specification
TRIV DOC