Changing inference annotation scheme to effect-inference annotation scheme and updating tests
Merge branch 'dev/prolog' into dev/prolog-full
The merge renamed InferenceAnnotationScheme to EffectInferenceAnnotationScheme
and the merge-conflict-resultition kept the changes and kept existing (modified)
InferenceAnnotationShceme for full-inference. Also added new flag to select it.

Conflicts:
	lib/StaticAnalyzer/Checkers/ASaP/ASaPAnnotationScheme.cpp
	lib/StaticAnalyzer/Checkers/ASaP/ASaPAnnotationScheme.h