config.sh: Switch to ninja as generator

Thomas Braunrequested to merge
switch-to-ninja-in-ci into main

This is faster.

Close #1330 (closed)

Close #1429 (closed)

Edited by Thomas Braun

Merge request reports