Working on a verbose engine for testing

Several sources changed for visibility purposes.
Merge remote-tracking branch 'origin/master'
Verbose engine should be fine

But there's a bug somewhere
Fixed formatting, engine output included in report
Fixes products management, fixes spec
Some prettification

How to display symbols / variables?
Table states

Need to make the table look better and find a way to name symbols / variables without using top-level loops.
Merge pull request #45 from Geogi/dev

Fixes automatons