This script deletes unused toolchains from your ~/.elan directory to free up
some space. It detects used toolchains by looking for lean-toolchain files
in your home directory (and subdirectories, excluding directories starting with
.).
With elan installed, run lake build.
After building, run build/bin/elan-cleanup. You can also copy this binary to
a directory in your PATH.