ACL2 on Windows

These instructions have moved to the ACL2 documentation topic, Windows-installation.