Bump to v4.17.0-rc1 latest

Author: Peiyang-Song

lakefile.lean

@@ -309,8 +309,8 @@ extern_lib libleanffi pkg := do
   buildStaticLib (pkg.nativeLibDir / name) #[ct2O]
 
 
-require batteries from git "https://github.com/leanprover-community/batteries.git" @ "01006c9e86bf9e397c026fef4190478dd1fd897e"
-require aesop from git "https://github.com/leanprover-community/aesop" @ "44dab9f36aa73d5f789629b55528c5a1501877a6"
+require batteries from git "https://github.com/leanprover-community/batteries.git" @ "main"
+require aesop from git "https://github.com/leanprover-community/aesop" @ "master"
 
 meta if get_config? env = some "dev" then -- dev is so not everyone has to build it
-require «doc-gen4» from git "https://github.com/leanprover/doc-gen4" @ "af3e1046f897d2f22721413bb095e64849cc76a6"
+require «doc-gen4» from git "https://github.com/leanprover/doc-gen4" @ "main"

lean-toolchain

@@ -1 +1 @@
-leanprover/lean4:v4.16.0
+leanprover/lean4:v4.17.0-rc1