export OCAMLPATH in the Makefile

typing "make" should work and find Z3 automatically now...