dump-points-to: add -v mode

when -v (verbose) is not used, give more brief information about
points-to sets. This patch adds only the processing of the option.
dump-points-to: print according to verbose flag
PointsTo: add basic classes for Shapiro and Horowitz analysis

Add PointsToGraph and PointsToCategories classes. The first one
will build points-to graph according to categories (the later one).
The points to graph can be transformed to points-to sets consequently
PointsTo: add definitions of declared class members

for classes PointsToCategories && PointsToGraph