Gravar-mail: Good-for-MDPs Automata for Probabilistic Analysis and Reinforcement Learning