Stub out a new updating interface to AliasAnalysis, allowing stateful analyses to be informed when

a pointer value has potentially become escaping.  Implementations can choose to either fall back to
conservative responses for that value, or may recompute their analysis to accomodate the change.

llvm-svn: 122777