Python: Support type annotations in call graph

[tausbn]

trafficstars

Adds support for tracking instances via type annotations. Also adds a convenience method to the newly added Annotation class, getAnnotatedExpression, that returns the expression that is annotated with the given type. For return annotations this is any value returned from the annotated function in question.