added target for vi(m) otags (old otags target seems broken) corrected infinite loop when menhir does not produce .output file  for tptp2why target
added target for vi(m) otags (old otags target seems broken)
corrected infinite loop when menhir does not produce .output file 
for tptp2why target


ssaavedra/why3,douglas-larocca/why3,ssaavedra/why3,jpdeplaix/why3,jpdeplaix/why3,douglas-larocca/why3,jpdeplaix/why3,douglas-larocca/why3,ssaavedra/why3