Draft: ci: Use ninja everywhere
Observed to be far faster for both builds and rebuilds.
- Makefiles --> 17s to 16s
- Ninja --> 10s to 11s
Ninja will not work for the integration_tests
since they define a.out
multiple times.
Edited by Rohit Goswami