To do when "lean/leanpkg.toml" changes:

    cd lean
    leanpkg configure   # this checks out the correct mathlib commit in _target/deps/mathlib
    cd _target/deps/mathlib
    leanproject get-cache   # or leanpkg build if there's no cache available

Don't forget to update the guide's preface.
