Fix the properties used for the windows installer

Previously the `installer-exe` target did not build with launch4j because it expects a x.x.x.x format for productVersion. This is now fixed.