Implement new Code Generator

[ceeac]

The current Code Generator does not produce very readable code, especially not for very complex functions. We should implement a new code generator e.g. based on the "No More Gotos" paper. For this, the current Control Flow analysis needs to be refactored to analyze Statements instead of BasicBlocks.

[rfalke]

This sounds like a big task. Since I think the rewrite for capstone (#69) is also a bit task I would suggest to finish one first.

[ceeac]

Yes; the roadmap I outlined in this comment still stands. So while #69 will be merged more or less directly after the release of 0.4.0, the new Code Generator is much farther into the future - probably after 0.5.0 (unless somebody implements it beforehand).