dist: add st_automaton

used for converting automatonchecker configuration files to .dot or
tikz files.