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

Hmm, I forget that I have made few more changes, so the commit
is not nice.. but.. what the hell.
PointsToGraph: add dump function

it's handy when debugging
tests: add points-to-test

actually it's not a test, it just dump PointsToGraph that is created
according some sequence of a->b assigments
I'm happy it looks like it works :)
points-to: fix typo

Stengaard's -> Steengaards's
PointsToGraph: add toPointsToSets() method

convert points-to graph to points-to sets
points-to-test: print points-to sets

Print not only points-to graph but even points-to sets
PointsToGraph: pass ProgramStructure pointer

instead of reference. Refrence invokes copy constructor.
Now it's not used, but later I'd like to use it for building
the whole graph from constructor
PointsToGraph: add insertDerefPointee

This function takes the same arguments as insert, but do dereference
of location. That is, instead of adding 'p points to location' add
that 'p points to everywhere where can location point to'.

I also had to add few helper methods (well, didn't have to, but the
code is more lucid)
PointsToGraph: add insertDerefPointer

the same as insertDerefPointee, but now is the pointer dereferenced, not
the pointee
PointsToGraph: use const ProgramStructure

We don't change program structure..
PointsTo: rewrite applyRule

make computePointsToSets use PointsToGraph

applyRule for GEP is not working very well, need to change it
PointsToGraph: add addNode function

I could have do it earlier xD
PointsToGraph: fix insert

the return value was not set or returned correctly
test: make test from points-to-test

up until now it was just dump of points-to-graph
pts-to: extend points-to-test

add testcases and  print how many tests from total number
of tests failed
pts-to: remove K from categories

I don't use it anyway. It's nice for theoretical reasoning, but
it has no use here (it implicitly hidden in each category)
pts-to: add FixedCategories

Kind of categories Shapiro and Horowitz work with to illustrate
the analysis. Added just for testing, it's too unefficent for real
use.
pts-to: add tests with fixed categories
pts-to: add variants of PTG.insert

overloaded insert functions, work with Nodes and
assembles the original insert functions