Upgrade CodeQl to use setup-dotnet to v4. #994

Job	Run time
Java 8 (ubuntu-22.04)	1m 15s
C++ Clang 9 (Ubuntu 20.04)	1m 38s
Java 8 (windows-latest)	2m 34s
C++ Clang 13 (Ubuntu 22.04)	1m 35s
C++ Clang 10 (Ubuntu 20.04)	2m 19s
Java 17 (ubuntu-22.04)	1m 50s
C++ Clang 14 (Ubuntu 22.04)	1m 34s
C++ Clang 11 (Ubuntu 20.04)	2m 8s
C++ Clang 15 (Ubuntu 22.04)	1m 29s
Java 17 (windows-latest)	4m 5s
C++ Clang 12 (Ubuntu 20.04)	2m 29s
Java 21 (ubuntu-22.04)	1m 33s
C++ Clang 16 (Ubuntu 22.04)	1m 59s
Java 21 (windows-latest)	2m 0s
C++ Clang 17 (Ubuntu 22.04)	1m 42s
C++ Xcode (macOS)	2m 27s
C++ GCC 6 (Ubuntu 20.04)	1m 30s
C++ GCC 11 (Ubuntu 22.04)	1m 26s
C++ MSVC (Windows) (windows-latest)	3m 39s
C++ GCC 7 (Ubuntu 20.04)	2m 16s
C++ GCC 12 (Ubuntu 22.04)	1m 26s
C++ GCC 8 (Ubuntu 20.04)	1m 29s
C++ GCC 13 (Ubuntu 22.04)	1m 20s
C++ GCC 9 (Ubuntu 20.04)	1m 36s
C# 3.1.301	2m 17s
C++ GCC 10 (Ubuntu 20.04)	1m 19s
Rust stable	42s
Rust beta	45s
Rust nightly	57s
	53m 19s

Provide feedback