Formal protocal description

Formal protocal description
Merge branch 'basicprotowork' of https://github.com/longruiliu/ECR into basicprotowork
Finish Protocol Design
ToDo: Errno has not been defined yet.

Conflicts:
	doc/ProtocolDesign