make goblint compile using OCaml 4.02.0
cil currently needs to be pinned to github repo since opam package too old
Merge branch 'ocaml_4.02'