Improve the scalability of the geometric points-to analyzer.
Rename dumped files.
Merge branch 'develop' of https://github.com/Sable/soot

Conflicts:
	.classpath
	.settings/org.eclipse.jdt.core.prefs
Slightly performance tune and add more comments to code.
Merge branch 'develop' of https://github.com/Sable/soot
Remove the track to file .gitignore
Add back the .classpath file and .gitignore file.
Change .gitignore back.
Change .classpath back to soot's original look.
Change .classpath again.
Change file mode of .classpath.
Change the copyright info.
Change back the edits to VarNode.java.
Add change log for geometric points-to solver.
Merge pull request #25 from richardxx/master

New pull request for geometric points-to solver