Add command line option for setting propquery #51

Job	Run time
compiler (gcc-7, ubuntu-20.04)	7m 35s
compiler (gcc-8, ubuntu-20.04)	7m 49s
compiler (gcc-9, ubuntu-20.04)	7m 42s
compiler (gcc-10, ubuntu-20.04)	9m 13s
compiler (gcc-11, ubuntu-22.04)	8m 44s
compiler (gcc-12, ubuntu-22.04)	8m 4s
compiler (gcc-13, ubuntu-22.04, ubuntu-toolchain-r/test)	8m 19s
compiler (clang-6.0, ubuntu-20.04)	7m 39s
compiler (clang-7, ubuntu-20.04)	7m 47s
compiler (clang-8, ubuntu-20.04)	9m 7s
compiler (clang-9, ubuntu-20.04)	8m 16s
compiler (clang-10, ubuntu-20.04)	8m 36s
compiler (clang-11, ubuntu-20.04)	7m 57s
compiler (clang-12, ubuntu-20.04)	7m 38s
compiler (clang-13, ubuntu-22.04)	10m 5s
compiler (clang-14, ubuntu-22.04)	7m 49s
compiler (clang-15, ubuntu-22.04, jammy)	7m 54s
compiler (clang-16, ubuntu-22.04, jammy)	8m 13s
	2h 28m 27s

Provide feedback