(1) Added the functionality to write the automaton to an output file
(2) Added a command line help to slugs
(3) Split up the initialization assumptions and guarantees for the special robotics semantics mode again. This keeps the explicit state automata that are synthesized smaller.