chore: update stage0

Author: Lean stage0 autoupdater

stage0/src/stdlib_flags.h

@@ -1,7 +1,5 @@
 #include "util/options.h"
 
-// Dear CI, please update stage 0
-
 namespace lean {
 options get_default_options() {
     options opts;