update WiX installer version
update WiX installer version

Moved from 3.7 to 3.8, and also changed the Program Files path as we're using a 64-bit machine now on the build farm.

GaloisInc/cryptol,ntc2/cryptol,GaloisInc/cryptol,GaloisInc/cryptol