Added callsite searching logic. The bulk of the logic is now
complete, pending test cases to check that the code works as expected.
Merge branch 'interprocedural-analysis' of https://github.com/AlisaMaas/CArrayIntrospection into interprocedural-analysis

Conflicts:
	NullAnnotator.cc