[doc] change Why-3 into Why3