InfoView performance improvements

Stream: lean4

[Marc Huisinga]

Version 0.0.175 of the VS Code extension implements some performance improvements for the InfoView, which should now feel a bit snappier, especially in larger proof states. If you encounter any regressions in InfoView functionality on 0.0.175, please let me know.

Details at vscode-lean4#500.

[Kim Morrison]

Marc is under selling his benchmarking numbers by saying "a bit snappier" here!