Removed DecMDP, for now, since it is far from being implemented and only complicates the library.