Simple configure script.
Simple configure script.

For now, just check for the ocaml compiler.

MatkoBotincan/corestar-old,seplogic/jstar,seplogic/jstar,septract/jstar-old,seplogic/jstar,septract/jstar-old