2 web pages, one breaks the other everest script setup

[briangmilnes]

https://github.com/project-everest/everest says for windows install opam which installs an C:\OCaml64\bin\bash.exe https://project-everest.github.io/ seems to be the right installation script and when you do an everest check, wham you have the wrong bash.

So the first page should be updated to not say install opam and should point to the second page (which it does not).

[briangmilnes]

In my case, restarting all with a vanilla cygwin install did not give me a git. The script kindly pointed this out and reinstalled cygwin with git, but a simple link on the second page describing how your cygwin should be installed would prevent this.

[briangmilnes]

And the git is misconfigured after everest tries to install it:

Run eval $(opam env) to update the current shell environment

... all 29 ocamlfind packages found ... sample ocamlbuild project compiles successfully ... cloning tahina-pro/ocaml-stdint Cloning into 'ocaml-stdint'... git@github.com: Permission denied (publickey). fatal: Could not read from remote repository.

Please make sure you have the correct access rights and the repository exists. Proceed with https? [Yn]

[briangmilnes]

And the core of this problem was two things: 1) I setup opam/ocaml from the previous page and so cygwin installed in c:\OCaml64 which the everest script caught. 2) You should say, which I had forgotten, that you can't really read even public projects from github wo a cert. So describe setting up ssh for github before running the everest script. Both small doc changes that would save many hours for new engineers.