Convert monitor in Runtime monitor transformer to a DFA

[lukovdm]

Related to #886. Currently, the monitor is represented as an MDP, but this not nice.
Maybe existing automata data structures in storm would work or create one.