Python: Timestamps for AWS SDKs #328

Job	Run time
testPython (nightly-latest, TestModels/dafny-dependencies/StandardLibrary)	1m 6s
testPython (nightly-latest, TestModels/Aggregate)	1m 9s
testPython (nightly-latest, TestModels/Constraints)	1m 14s
testPython (nightly-latest, TestModels/Constructor)	1m 52s
testPython (nightly-latest, TestModels/Dependencies)	1m 4s
testPython (nightly-latest, TestModels/Errors)	1m 20s
testPython (nightly-latest, TestModels/Extendable)	1m 23s
testPython (nightly-latest, TestModels/Extern)	1m 15s
testPython (nightly-latest, TestModels/LanguageSpecificLogic)	1m 9s
testPython (nightly-latest, TestModels/LocalService)	1m 31s
testPython (nightly-latest, TestModels/MultipleModels)	1m 13s
testPython (nightly-latest, TestModels/Refinement)	1m 10s
testPython (nightly-latest, TestModels/Resource)	1m 4s
testPython (nightly-latest, TestModels/SimpleTypes/SimpleBlob)	1m 10s
testPython (nightly-latest, TestModels/SimpleTypes/SimpleBoolean)	1m 5s
testPython (nightly-latest, TestModels/SimpleTypes/SimpleDouble)	1m 13s
testPython (nightly-latest, TestModels/SimpleTypes/SimpleEnum)	1m 6s
testPython (nightly-latest, TestModels/SimpleTypes/SimpleEnumV2)	1m 18s
testPython (nightly-latest, TestModels/SimpleTypes/SimpleInteger)	1m 6s
testPython (nightly-latest, TestModels/SimpleTypes/SimpleLong)	1m 19s
testPython (nightly-latest, TestModels/SimpleTypes/SimpleString)	1m 7s
testPython (nightly-latest, TestModels/Union)	1m 33s
testPython (nightly-latest, TestModels/aws-sdks/ddb)	1m 7s
testPython (nightly-latest, TestModels/aws-sdks/kms)	1m 5s
	29m 39s

Provide feedback