Replace using hardness sign by an option --pre-positive
Fix MOSESUTest user option syntax