Ready to be pulled to master.
I added all output and manually annotated answers files, and
made NullAnnotator take arguments determining to what to read from
and write to.
I also updated NullAnnotatorSummary to contain information about true
positives and make use of the new information about why a positive was
reported.
Merge branch 'sentinel-checks' of https://github.com/AlisaMaas/CArrayIntrospection into sentinel-checks

Conflicts:
	tests/sentinelCheckTests/interproceduralTests/SConscript