enable module-aware shake in CI

In #243 I disabled shake because I felt it was better to separate out any further changes required for the new module-aware version. See [Shake.lean](https://github.com/leanprover/lean4/blob/master/script/Shake.lean) for the new annotations that shake uses.