Command aliases

Every other spelling of a command, and the command it runs. An alias takes the same flags and prints the same output; the canonical command’s page documents both.

Alias	Runs
`lean-pkg audit`	`lean-pkg registry audit`
`lean-pkg board`	`lean-pkg registry board`
`lean-pkg claim`	`lean-pkg lease claim`
`lean-pkg comparator NAME`	`lean-pkg comparator attach`
`lean-pkg comparator NAME --receipt R --check`	`lean-pkg comparator check`
`lean-pkg comparator attach NAME --receipt R --check`	`lean-pkg comparator check`
`lean-pkg comparator config --coverage NAME`	`lean-pkg comparator coverage`
`lean-pkg comparator config --migrate-signoff PATH`	`lean-pkg comparator migrate-signoff`
`lean-pkg formalization NAME`	`lean-pkg formalization render`
`lean-pkg init`	`lean-pkg registry init`
`lean-pkg lease NAME`	`lean-pkg lease claim`
`lean-pkg lease release NAME --adopt-repo DIR`	`lean-pkg repo adopt`
`lean-pkg lease release NAME --fresh-repo DIR`	`lean-pkg repo export`
`lean-pkg leases`	`lean-pkg lease list`
`lean-pkg migrate`	`lean-pkg registry migrate`
`lean-pkg promote`	`lean-pkg publish`
`lean-pkg receipt local`	`lean-pkg receipt systemd`
`lean-pkg release`	`lean-pkg lease release`
`lean-pkg release NAME --adopt-repo DIR`	`lean-pkg repo adopt`
`lean-pkg release NAME --fresh-repo DIR`	`lean-pkg repo export`
`lean-pkg renew`	`lean-pkg lease renew`
`lean-pkg validate`	`lean-pkg registry validate`
`lean-pkg verify-receipts`	`lean-pkg receipt check`
`lean-pkg wiki`	`lean-pkg registry wiki`
`comparator-receipt` (program)	`lean-pkg receipt comparator`