INSTALL.md: Add a few notes for Windows builds.