#7 - Initial implementation

[mforets]

Closes #7.

• [x] make option raw_dict=true
• [ ] make option raw_dict=false (default)
• [ ] add functions to docs

EDIT: i'm readdressing this issue:

• [x] output the hybrid automaton by default without any assumption on the system type
• [x] add unit tests
• [x] add functions to docs

this leaves for the next issue to transform the information of the hybrid automaton into a given system type, that is (A, B, X, U), where X, U have to be transformed from expressions to some LazySet representation.

[mforets]

From my side this branch is ready to be merged.

[mforets]

Thanks to all of you for the feedback.