v1.3

This release is a stable version of SVF on top of LLVM-3.8.0, including the analysis support for C++ and some bugs fixed.

SVF will move forward to support LLVM-4.0.0 in the next release.