Consolidate Infer analysis backend

We plan to deprecate our (old) version of [Infer backend](https://github.com/microsoft/infersharp/tree/main/infer) in this repo in favor of [FB's Infer backend](https://github.com/facebook/infer/tree/master/infer) in order to always stay current with the latest development happening over there.