[FEATURE REQUEST] Add an analysis general framework for LiSA

[VincenzoArceri]

Description
We should implement a general analysis infrastructure for LiSA, in order to provide a starting framework for the definition of new semantic-driven analyses.

Motivation
This feature implementation corresponds to the LiSA analysis core and it should contain the starting point for the definition of new semantic analyses. In particular, we should provide:

• an unique analysis-independent fix-point algorithm on CFGs;
• the base classes for the definition of new abstract domains. We should start defining the base classes for lattices, functional, value and heap abstract domains (for heap abstractions, we could follow this paper)
• a suitable representation of the analysis results on CFGs;