The MDP Simulator (mdpsim)