New 32 Bit Windows Reference Platform (f30)

As part of fixing the v30 bug (see posts with "v30 bug" as a label) we tok the opportunity to change our 32 bit Windows reference platform. The previous platform was over a decade old, so we were probably due.

Our 32 bit Windows platform is now:

Microsoft Windows 7 Professional, version 6.1.7601

The new executables work on the old reference platform, and vice versa, so we are not expecting any compatibility issues to arise from this platform change.