update .ocamlinit
fix parsers/Util_tptp.find_file behavior w.r.t $TPTP env variable