Lwt_automaton, for an interface with Lwt