Allow the disabling of websocket updates

[joka921]

The websocket updates (for the live updates of the "Analysis" tree) can significantly slow down queries with very many cheap operations. This change adds a runtime parameter websocket-updates-enabled for controlling whether websocket updates should be performed or not.

[codecov]

Codecov Report

Attention: Patch coverage is 66.66667% with 1 line in your changes missing coverage. Please review.

Project coverage is 89.93%. Comparing base (ff47922) to head (517c7ef).
Report is 1 commits behind head on master.

Files with missing lines	Patch %	Lines
src/engine/Operation.cpp	0.00%	0 Missing and 1 partial ⚠️

Additional details and impacted files

@@            Coverage Diff             @@
##           master    #1726      +/-   ##
==========================================
+ Coverage   89.92%   89.93%   +0.01%     
==========================================
  Files         393      393              
  Lines       37614    37595      -19     
  Branches     4231     4231              
==========================================
- Hits        33823    33811      -12     
+ Misses       2494     2485       -9     
- Partials     1297     1299       +2     

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

[hannahbast]

This looks great, thanks. I will try this out end-to-end, add a description, and then merge this.

[sparql-conformance]

Conformance check passed ✅

No test result changes.

Details: https://qlever.cs.uni-freiburg.de/sparql-conformance-ui?cur=517c7ef776788f379a777eaa278e2133b28092a7&prev=ff479223aa6d7597e886b3fee24f1167e643cf5e

[sonarqubecloud]

Quality Gate passed

Issues
0 New issues
0 Accepted issues

Measures
0 Security Hotspots
0.0% Coverage on New Code
0.0% Duplication on New Code

See analysis details on SonarQube Cloud