Finish win64.mak support for the 32mscoff model

Ping @rainers 
> why just the 10 part and not the 10.0 as a whole?

Because `VC` is a variable that the VC batch files set, and it only has that one number. I think we should follow MS's convention, so that one can run e.g. `make VC=%VC%`.