TODO: Add state_values, action_values to DiscreteDP

[oyamad]

[jstac]

Done. (See #237).

[oyamad]

#237 only dealt with MarkovChain and DiGraph, and DiscreteDP has not been touched.
We have to decide on the design of the methods that involve sigma (almost all methods).
Let me reopen this.