added auto option decomposition in Q-learning/Sarsa.

Also fixed a bug in Value Iteration that makes its updates theoretically
sound when using options in deterministic MDPs. It is not currently
theoretically sound for options in stochastic MDPs, I'll be fixing that
later.