Scan a Lean project

Leanbump reads the project's lean-toolchain and Mathlib pin, then lists every name the bump to the newest release renames or removes, with file, line and replacement.