adds a description of the DH and SSM Agent implementations to the res… #233

Job	Run time
Build	1m 40s
Verify DH core assumptions	1m 14s
Verify DH protocol model	51s
Verify DH core	1m 14s
Verify DH core assumptions bugs	1m 6s
Verify SSM Agent protocol model	7m 40s
Verify SSM Agent I/O independence	2m 4s
Verify DH I/O independence	1m 3s
Verify SSM Agent core	4m 21s
Verify DH I/O independence bugs	1m 7s
Verify SSM Agent I/O independence bugs	3m 2s
Verify SSM Agent core assumptions	6m 55s
Verify SSM Agent core assumptions bugs	6m 15s
Publish	1m 12s
Cleanup	4s
	39m 48s

Provide feedback