Migrate most of what's left in tools/#2840

Merged

jcollins-g merged 9 commits intodart-lang:nnbdfrom

jcollins-g:nnbd-lib-miscellaneous+tools

Oct 21, 2021

Commits on Oct 12, 2021

squash
jcollins-g
committed
rebuild
jcollins-g
committed

Commits on Oct 13, 2021

Commits on Oct 20, 2021

Commits on Oct 21, 2021

Merge branch 'nnbd' into nnbd-lib-miscellaneous+tools
jcollins-g
committed