Display Linux variant at ./configure time #18

Job	Run time
functionality-tests	17m 55s
CodeQL-tests	23m 52s
source-maintenance-tests	2m 57s
build-tests(ubuntu-22.04,gcc,default)	11m 6s
build-tests(ubuntu-22.04,gcc,minimal)	5m 55s
build-tests(ubuntu-22.04,gcc,maximus)	13m 38s
build-tests(ubuntu-22.04,clang,default)	12m 54s
build-tests(ubuntu-22.04,clang,minimal)	7m 21s
build-tests(ubuntu-22.04,clang,maximus)	15m 15s
	1h 50m 53s

Provide feedback