Simplify the startup phase of the protocol.

Seeding is done outside of the protocol when the goroutines are started.
The MCVFS method was moved into the "solver/heuristics" package (as to prevent cyclic imports).
seedMsg and seedMessage have been removed type
Documented protocol in doc directory.