Travis test
Gnerate the whole state space dot file, the first commit
You can now generate the whole state space using -g argument
Generate the whole state space
Merge branch 'cli' into dev