policygen: respect CIL option when generating comments #584

Job	Run time
build (gcc, 3.12, 3.3)	1m 36s
build (gcc, 3.12, 3.3, test-flags-override)	1m 22s
build (gcc, 3.12, 3.3, test-debug)	1m 29s
build (gcc, 3.12, 3.3, linker-bfd)	1m 31s
build (gcc, 3.12, 3.3, linker-gold)	1m 44s
build (gcc, 3.11, 3.3)	1m 38s
build (gcc, 3.10, 3.3)	1m 32s
build (gcc, 3.9, 3.3)	1m 42s
build (gcc, 3.8, 3.3)	1m 59s
build (gcc, 3.7, 3.3)	1m 50s
build (gcc, pypy3.7, 3.3)	2m 13s
build (gcc, 3.12, 3.2)	1m 51s
build (gcc, 3.12, 3.1)	1m 32s
build (gcc, 3.12, 3.0)	1m 33s
build (gcc, 3.12, 2.7)	1m 56s
build (gcc, 3.12, 2.6)	1m 50s
build (gcc, 3.12, 2.5)	1m 51s
build (clang, 3.12, 3.3)	2m 21s
build (clang, 3.12, 3.3, test-flags-override)	1m 27s
build (clang, 3.12, 3.3, test-debug)	1m 28s
build (clang, 3.11, 3.3)	1m 40s
build (clang, 3.10, 3.3)	1m 47s
build (clang, 3.9, 3.3)	2m 25s
build (clang, 3.8, 3.3)	1m 43s
build (clang, 3.7, 3.3)	1m 50s
build (clang, pypy3.7, 3.3)	2m 9s
build (clang, 3.12, 3.2)	1m 44s
build (clang, 3.12, 3.1)	1m 37s
build (clang, 3.12, 3.0)	1m 41s
build (clang, 3.12, 2.7)	2m 2s
build (clang, 3.12, 2.6)	1m 52s
build (clang, 3.12, 2.5)	1m 58s
build (gcc, 3.12, 3.3, sanitizers)	2m 12s
	59m 5s

Provide feedback