fix naming service description, and textit format
Added new section in Implementation for total ordering using lamport clock, added evalutation section
Merge branch 'master' of github.com:wangyif2/4d19