[VsCoq1] Fix IP issue with VS Code 1.82.0

[4ever2]

In VS Code 1.82.0 ipv6 is preferred during DNS resolution which is problematic since coqidetop only works with ipv4.
This patch should make VsCoq1 work with VS Code 1.82.0

Fixes coq-community/vscoq-legacy#52

[thery]

@rtetley @maximedenes maybe it would be worth making a new release of vscoq1 just for that fixes. What do you think?

[thery]

@4ever2 Thanks

[rtetley]

@thery I would say let's do it ! There does not seem to be other changes to vscoq 1 ? Maybe the message panel ? I don't know what the status is regarding that

[4ever2]

If there is going to be another release then I think we should merge some of the smaller fixes contained in the open pull requests. Such as search in proofview and the -topfile fix.

[thery]

@4ever2 still have problem with 1.82.0. Now coqtop starts but there is no update of goals.
I will see if the problem is only local to me. Anyway which PRs are you refeering too?

[4ever2]

@thery I don't quite see how that can be cause by this change. The DNS setting should be local to just the server. The webview/rendering of the goal is done in the client. Maybe something else in 1.82.0 is causing it?

The second commit of #319 contains a fix for the -topfile argument being passed the wrong value. #320 contains a change that enables search in the proofview. I would be happy to extract these changes from the PRs if you agree that these would be useful have.

[thery]

@4ever2 ok starting from scratch 1.82.0 now works for me.

I would be happy to extract these changes from the PRs if you agree that these would be useful have.

Please do, having a new release this week would be great!