Significantly update the geomPTA

Hi, Eric:

This is Richard Xiao. I recently updated geomPTA and the major changes are:

1. Better and efficient querying system. I have written a wiki page to teach people how to use it. You can find it here: https://github.com/Sable/soot/wiki/Using-Geometric-Encoding-based-Context-Sensitive-Points-to-Analysis-(geomPTA).

2. Fix several performance and crash bugs. Performance is now improved by up to 40%. Analyzing with JDK 1.7 is possible on a commodity machine.

3. Add a new option geom-app-only. I run the option generator and that's why the files in "generated/*" are changed.

BTW, I didn't change the file ".settings/org.eclipse.jdt.core.prefs", but github always reports that file was modified. You can safely merge it into soot.


Cheers,
Xiao