Bottom-up analysis approach, class file resolving, new summary language, and many more.

This release is kind of a pre-release for the next major release -- V4.0.0
We test the bottom-up analysis approach and our new summary language at this release.
New features like, java layer (better java developer APIs) and java source code analysis will be added into V4.0.0.