feat: remove (upstreamed) shake (leanprover-community#27632)

`shake` has been moved to Batteries.

Author: kim-em