Need tests for load_mdp in integral.jl and save_mdp for 1 based indexes.
Also save_mdp makes no sense and needs a rework. It ideally should return a DataFrame not take one as a parameter?
"""
save_mdp(T::DataFrame, model::TabMDP)
Convert an MDP `model` to a `DataFrame` representation with 0-based indices.
Important: The MDP representation uses 0-based indexes while the output
DataFrame is 0-based for backwards compatibility.
The columns are: `idstatefrom`, `idaction`, `idstateto`, `probability`,
and `reward`.
"""