feat(staticlark): Dataflow analysis for sensitive data

[dustmop]

An early implementation of dataflow analysis for starlark. Some caveats:

• control flow not being used, only linear flow is analyzed
• no lexical scoping nor inner functions
• axioms need to be populated