Turned InfoFlowAnalysis into a template class.

This will allow us to use the analysis for things other than taint, such as tracking annotated function pointer targets across assignments and method calls.
Bug fixes.