rename ircd to darkirc in the doc

doc/src/SUMMARY.md

@@ -71,7 +71,7 @@
     - [Debugging](learn/dchat/network-tools/debug.md)
 - [Miscellaneous tools](misc/misc.md)
   - [vanityaddr](misc/vanityaddr.md)
-  - [ircd](misc/ircd/ircd.md)
+  - [darkirc](misc/ircd/ircd.md)
   	- [Specification](misc/ircd/specification.md)
   	- [Private Message](misc/ircd/private_message.md)
   - [tau](misc/tau.md)

doc/src/misc/ircd/ircd.md

@@ -1,4 +1,4 @@
-# P2P IRC
+# DarkIRC: Strong Anonymity P2P Chat
 
 In DarkFi, we organize our communication using resilient and
 censorship-resistant infrastructure. For chatting, `ircd` is a