Update doc/Protocol.txt for IRCv3 WEBIRC extension