Markov State Models on the Muller potential: a MSMBuilder Tutorial