Clarify forked SSM Agent codebase in readme (#16) #223

Job	Run time
Build	51s
Verify DH I/O independence	1m 2s
Verify DH core assumptions	1m 12s
Verify DH core	1m 19s
Verify DH protocol model	41s
Verify SSM Agent core assumptions	5m 16s
Verify SSM Agent core	4m 13s
Verify SSM Agent core assumptions bugs	5m 36s
Verify SSM Agent protocol model	6m 42s
Verify DH I/O independence bugs	1m 8s
Verify DH core assumptions bugs	1m 17s
Verify SSM Agent I/O independence	2m 5s
Verify SSM Agent I/O independence bugs	2m 55s
Publish	1m 1s
Cleanup	4s
	35m 22s

Provide feedback