Fixed bug so that VI and other Bellman update planners can work with
options in stochastic domains. This required adding additional
functionality to options so that they could automatically compute the
expected transitions and rewards of an option.

Also fixed minor bugs and added a domain for the creation of stochastic
graph-based domains.