Allow setting stack values in analysis frames
Adds a method setStack
to analysis.Frame which allows setting the
dataflow value of a stack slot.
Could be used in nullness analysis. After, for example, an instance call, aliases of the receiver can be set to NotNull, both in locals and on the stack.