Upgrade VS Code version to 1.71.1

The current version of our fork is over two months old.

!9 (merged) is blocked on not being able to build the old version.