cl: add support for points-to analysis
cl/test: regression tests for points-to analysis
cl/killer: use the results of points-to analysis
cl/pointsto_fics: inherit FixPoint<T> from WorkList<T>

... instead of duplicating its code
cl/pointsto_fics: fix infinite loop on forester-regre/test-f0019.c
cl/pointsto: comment out delete to prevent USE_AFTER_FREE
cl/pointsto: make the algorithm running more deterministically

... in order to prevent intermittent failures of pt-1204.c in debug build