The sound distributed version control system

Migrate `pijul::identity::Complete::prove` to `pijul::remote::prove`

Removes a circular dependency between pijul::identity and pijul::remote, and is the final hurdle preventing them being spun off into their own crates.

Created by  finchie  on August 17, 2023
5Z2Y7VGVHJ7A6UPSEAPFVMIB5J7YHSI6WWHUUUYVLDJ56XSNCXKQC
Change contents