chore: update stage0

Author: Lean stage0 autoupdater

stage0/src/kernel/environment.cpp

@@ -1,6 +1,6 @@
 #include "util/options.h"
 
-// stage0 update needed for set_library_suggestions auxiliary def
+// stage0 update needed for grind_annotated command
 namespace lean {
 options get_default_options() {
     options opts;