Integrate infer into CI static analysis

[eljonny]

Facebook created a nice static analysis tool called infer.
This project should use it to potentially catch stuff the other tools don't.

[eljonny]

I am going to integrate this into my fork of the StaticAnalysis GitHub Action.

[eljonny]

Working on this here