Added a translation of a simple UPPAAL-IO-automaton.
Added a function to show a deadlock.
Add '*~' to gitignore.