Return os name "win64" on Win x64

[kbernhagen]

This is assuming all servers can handle both "win32" and "win64".

[jcoffland]

Let's hold off on this for now. There's a high probability it will break something. I'd like to get the alpha out first.