Include minisat- and caml-includes via #include <..> to make their
location in the file system configurable