The Windows GUI code has been moved in a separate repository.
See https://github.com/polyml/WindowsLibrary .
