- Slight modifications in Automata

- Added command-line version of UPPAAL verifier
- Added a time and memory usage monitor for command-line
- Added a first special Query-File for batch-file verifying purposes

CMD Verifier/Sanity-1.q

+// This file was generated by hand (c) Kristof Teichel June 16 2016
+
+/*
+
+*/
+E<> deadlock
\ No newline at end of file

license.txt

+bFUmUgUIGFQaAFIADAwcbwFQBQ8VBUJGJA0RDRMLF08ARA0RAxtaFhseVRsJFRtSWxNFHAwDDSoHeEwFChEaHwAOFh0TGxcRUyoPAFQ4SDRARUpSTi4HCwBWVV1fVlRBSRJBUlNAAFxVEl5VbwgqFAFFQgQVF1FXGEkBUUhRQBpEDU4KChpyD0kZVVRQF18TVV9cD0wARUlBR0RVTBoTVxpcUV9UeE8XRFYMEVhZURoQUVlHVE4TE1QVW1YQeEAETFtaAUhWEV5VClMTUkgSEX0ECBdFGRZFQAMJCy4BG04LVBIVABZFeQkGExYRDgMPGAAIfzUDWCwJG0hSVxNELxkHVldCQhZXWVJOEkFfElpFTlR9RUIqAAAXEQIWRV0JChEAGlMQC0kdCUkiBABIVU5MJjdpJSlFYxoMERZOBA1PH0UOWBBeVVVJf0VCEGYFHRcJC1MWSwIRER1WFBoRDTNBNVExEBRCREJcAC4QAklEVUNFAEZbW0YWTVcUTk5VVn9FeEwJCAcRQhNBHwwHLQMGTxhTIAEZDGFcXFgrGwpSVxBVU0xYRV9ARRpFXEFfEEVVEGQ=
\ No newline at end of file