AbstractionMachines Library to learn Abstract Reward Markov Decision Processes from Non-Markov Reward Decision Processes