Exclusively the cargo sub-command version

The first, minimal, but actually practically usable version for cargo.

The format of proofs should be solid and future proof, so any users that adopt it, don't have to needlessly change anything later.