start specifying protocol format in ASN.1

Hash2Pub/FediChord.asn1

@@ -0,0 +1,13 @@
+FediChordProtocol DEFINITIONS AUTOMATIC TAGS ::= BEGIN
+
+NodeID ::= INTEGER (0..115792089237316195423570985008687907853269984665640564039457584007913129639935)
+
+Request ::= SEQUENCE {
+	requestID		INTEGER,
+	senderID		NodeID,
+	parts			INTEGER,
+	part			INTEGER,
+	action			ENUMERATED {queryID, join, leave, stabilise}
+	}
+
+END

Hash2Pub/default.nix

@@ -26,6 +26,7 @@ in
         haddock
         cabal-install
         hlint
+        pkgs.python3Packages.asn1ate
       ];
   };
 }