Move ControlFlowGraph and co into the intermediate package.

This makes more sense since these concepts are part of the intermediate
language, and it leaves the analyser package available for the actual
analysis implementation, which will probably get quite large in itself.