prikevs/specs

The spec for libp2p and associated submodules.