chore: add project.properties #171

Job	Run time
getVerifyVersion / getDafnyVerifyVersion	9s
getVersion / getDafnyVersion	9s
pr-ci-codegen / code-generation (AwsEncryptionSDK, 6.0.x, ubuntu-latest)	1m 31s
pr-test-vectors / decrypt_python_vectors (windows-latest)	7m 33s
pr-test-vectors / generate_vectors (ubuntu-latest)	2m 33s
pr-test-vectors / decrypt_python_vectors (ubuntu-latest)	5m 16s
pr-test-vectors / generate_vectors (macos-12)	2m 51s
pr-test-vectors / decrypt_python_vectors (macos-12)	5m 59s
pr-ci-net / testDotNet (windows-latest)	9m 1s
pr-ci-net / testDotNet (ubuntu-latest)	3m 14s
pr-ci-net / testDotNet (macos-12)	3m 37s
pr-ci-verification / verification (AwsEncryptionSDK, macos-12)	7m 31s
pr-test-vectors / decrypt_net_vectors_with_js (ubuntu-latest)	48s
pr-test-vectors / decrypt_net_vectors_with_js (macos-12)	1m 43s
	51m 55s

Provide feedback