Infer version 0.4.0

This is a source release of Infer packaged with pre-built binaries for clang and facebook-clang-plugins for Linux and MacOS. To use it follow these instructions.

For the full list of changes included see here.

The sha256 checksums of the tarballs are:

$ sha256sum infer-*-v0.4.0.tar.xz
bb84656153b59ff43f477c2432039195b614ecb5c19ed2a3f73aea7921696730  infer-osx-v0.4.0.tar.xz
14f6e6d96a450d7acb17de0b26b136851d1b2815edd267e5865ea0af7aaf2887  infer-linux64-v0.4.0.tar.xz