scripts: Make generate_source.py look harder for vk.xml #657

Job	Run time
reuse	8s
generate_source	23s
chromium	1m 49s
windows-arm64	1m 23s
android (armeabi-v7a)	1m 15s
build_and_test (Debug, ubuntu-20.04)	1m 15s
android (arm64-v8a)	1m 6s
build_and_test (Debug, ubuntu-22.04)	1m 6s
build_and_test (Debug, windows-latest)	2m 27s
build_and_test (Debug, macos-latest)	1m 31s
build_and_test (Release, ubuntu-20.04)	1m 40s
build_and_test (Release, ubuntu-22.04)	1m 32s
build_and_test (Release, windows-latest)	2m 24s
build_and_test (Release, macos-latest)	1m 9s
	19m 8s

Provide feedback