* doc/install.texi (Binaries): Update URL and list of platforms