Merge pull request leanprover#25 from leanprover/bump_to_v4.16.0-rc2

chore: bump to v4.16.0-rc2

Merge pull request leanprover#24 from leanprover/bump_to_v4.15.0

chore: bump toolchain to v4.15.0

Merge pull request leanprover#23 from leanprover/bump_to_v4.14.0

chore: bump toolchain to v4.14.0

Merge branch 'nightly'

Merge branch 'nightly'

Merge branch 'nightly'

chore: update toolchain to first stable release

doc: fix minor errors in README

chore: bump nightly-2022-11-20

chore: move all util functions into Cli namespace to resolve name cla…

…shes & bump toolchain