Based on Jim Trevor's work, includes modifications made in/for Infer by Josh Berdine (to have the -c option in particular)
See README, https://pajda.fit.vutbr.cz/xmarci10/fbinfer_concurrency/-/tree/master/dependencies/ocamldot, and http://trevorjim.com/projects/ocamldot/ for more details