First version of FlowAnalyzer on Wala

It calculates the dependencies between the selected nodes and nodes
that are "outside" the selection. This determines the set of input and
output parameters.

Need to decide how to handle the this parameter. At the moment, it is
included as a dependency.

See #29 and #35.