Description
Add support for semantic checks that can access the results of the analysis.

Motivation
The most interesting part of static analysis is being able to issue warnings exploiting semantic information. Moreover, it gives a quick chance to verify the results of an analysis without having to thoroughly inspect its results.

Suggested implementation
Extend the structure of SyntacticCheck and of CheckTool, so that the same executor can be used to spawn the various checks.