Windows installer: build 64-bit installer, docs

- both win32 and win64 installers tested to work on a clean
  64-bit Windows 7 installation.