#603 TIP #362: Allow access to 32 and 64 bit registry

[Damon Courtney]

Windows uses separate nodes for 32 and 64 bit programs in the Windows registry on 64 bit platforms. This patch adds a -32bit and -64bit option to the registry command to allow it to access those nodes specifically.

[Damon Courtney]

Updated patch that puts -32bit and -64bit as the first optional argument of the registry command. This will allow further compatibility for developers by allowing them to do things like:

interp alias {} registry32 {} registry -32bit
interp alias {} registry64 {} registry -64bit

[Damon Courtney]

[Donal K. Fellows]

This TIP is on the track for 8.6, so raising the visibility of the patch

[Donal K. Fellows]

Applied to HEAD (causing the package version to be bumped to 1.3). Leaving open in case you want to backport.

NB: still needs testing on Windows; I've added some syntactic tests, but they could be wrong...