Integrate scaler

• Output the points-to information required by Scaler

• Organize Doop results so that they can be directly used by Scaler

• Add option for Scaler-guided analysis

• Copy Scaler results to facts dir

• Add Scaler-guided context-sensitive analysis

• Add a script to wrap the pre-analysis, Scaler and the main analysis. Add Scaler jars.

For the details about the integration, please see our email.