Export and restore: the practices' backup

Practices, policies and guidance are meant to be impossible to destroy (board #2479). The export writes them out as files a git repo can keep, and a restore rebuilds them on a host from those files.

The export is for a public repo: it drops the host's provenance stamps and redacts email addresses. Attached files are named, not copied.

A restore writes only the events the host doesn't hold, so running it twice writes nothing the second time. Numbers are per host, so a tag such as chains-from:#12 is renumbered to what that entry is on the new host, and a project's opt-in is restored by id.

virta export ../tosijs-coding-practices     # writes registry/
virta restore ../tosijs-coding-practices --dry