Let cmake figure out where mzn2doc is
Let cmake figure out where mzn2doc is

jjdekker/libminizinc,nathanielbaxter/libminizinc,nathanielbaxter/libminizinc,nathanielbaxter/libminizinc,jjdekker/libminizinc,jjdekker/libminizinc,tias/libminizinc,nathanielbaxter/libminizinc,jjdekker/libminizinc,tias/libminizinc