module aware shake in CI

Stream: CSLib

[Chris Henson]

Please note that we have added back shake into CI. I suggest merging main on any currently open PRs. The flags we use (consistent with Mathlib) are lake shake --add-public --keep-implied --keep-prefix.