Infer/bench moerman

Dario Pintorequested to merge
infer/bench_moerman into master

Adding infer.mk file to run Infer Analyzer on Moerman's benchmark test suite

Merge request reports