make goblint compile using OCaml 4.02.0
cil currently needs to be pinned to github repo since opam package too old
Update to support 3.17 kernel.
Add #define MODULE to preconf. Needed to parse a few more drivers.
Alright, Travis, this even almost works on a Mac.
Add another path to kernel includes.
Update benchmarking script.
Merge branch 'ocaml_4.02'
add bench as a submodule since tests depend on its version
add `make setup` for OCaml 4.02.1
we need the develop branch of cil...