Issue32/SimplifyRe-factor-CFGraph

[franck44]

This is a major re-factoring to simplify the code and make it easier to move forward.

Most notable changes are:

• automata module reworked
• CFG construction via a DFS that builds an automaton directly
• clean up several other modules
• compute information on bytecode, CFG.