Changes to prepare for RockSample

- If state transitions are deterministic, Model.h can now #define
  NOT_STOCHASTIC to indicate to the Solver that a smaller upper bound table
  can be stored.
- Change obsProb to accept an action in addition to a state
- Move copies of the config file into problem subdirectories so we don't need
  to keep changing them.
- Cosmetic changes