Oh, in the metric the sign is negative because you want a "length" which is preserved under the natural transformations of the space (Lorentz transformations in this case).
ds^2=dt^2+dx^2+dy^2+dz^2 would not be preserved under a Lorentz transformation. The version with the minus sign is. In other words, ds with the minus sign definition is something that all observers would agree on, but ds with the plus sign definition, different observers would measure different ds's.