64-bit build for MS Windows

[Antoine Martin]

There are a number of obstacles which prevent us from following the
instructions on ​dev/win32.

For some dependencies, it is just a question of doing more manual work than running the 64-bit version of the installer, as is the case for ​setuptools and ​python wmi.

Then there's the problem that by default, you can't compile 64-bit programs with distutils and VC 2008... (see ​http://bugs.python.org/issue7511 and use this patch: ​http://bugs.python.org/file17959/vcvars4.diff - why isn't this merged and released??)

Unfortunately, other dependencies are even harder to deal with:

• ​pygtk (or even just plain GTK for that matter) do not provide 64-bit installers at present, and building from source is too tedious.
• ​gstreamer does not provide a 64-bit version, all the bindings are for 32-bit python only at present...