Improve the scalability of the geometric points-to analyzer.
number of threads is now configured through SolverConfiguration, a new super interface of IFDSTabulationProblem
Improved AnnotationTag API and refactored some uses
Merge pull request #22 from malaverdiere/develop

Improved AnnotationTag API and refactored some uses
made EdgeFilter public
Rename dumped files.
Merge branch 'develop' of https://github.com/Sable/soot

Conflicts:
	.classpath
	.settings/org.eclipse.jdt.core.prefs
added isFinal
adding isInnerClass()
added some new accessor methods
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.