verification and test scripting changes
Merge https://github.com/dsmejkal/automaton
Merge https://github.com/dsmejkal/automaton
cleaned code a bit, added comments to document it
Merge pull request #17 from reyne/master

Cleaning and Comments