Rename migration tool to boxo-migrate, tidy up, and add docs#243

Merged

guseggert merged 2 commits intomainfrom feat/boxo-migrate

Mar 31, 2023

Commits on Mar 30, 2023

feat: rename migrate -> boxo-migrate, add extra pointers to output
guseggert
committed

Commits on Mar 31, 2023

feat: add migration documentation to README
guseggert
committed