Rename protocol_specification.txt to protocol_specification.md