v2.0.0

These are Windows guest tools compiled from master (ignore the tag).
The S2E Makefile fetches them during build. This avoids having to set up a Windows build machine.