v1-alpha

Initial alpha release to get user feedback on initial set of features.

For best results, Lean projects must use at version v4.8.0-rc1 or later.

See README.md for usage examples

Added

• build packages with lake build
• run tests with lake test
• automatically detect mathlib dependency and run lake exe get cache
• detect Reservoir eligibility
• check for environment hacking with lean4checker