patch 8.2.3860: Vim9: codecov struggles with the file size

Problem:    Vim9: codecov struggles with the file size.
Solution:   Split vim9compile.c into four files.
diff --git a/src/proto.h b/src/proto.h
index 6c26aee..d31629e 100644
--- a/src/proto.h
+++ b/src/proto.h
@@ -212,8 +212,13 @@
 # include "version.pro"
 # include "vim9script.pro"
 # ifdef FEAT_EVAL
+// include vim9.h here, the types defined there are used by function arguments.
+#  include "vim9.h"
+#  include "vim9cmds.pro"
 #  include "vim9compile.pro"
 #  include "vim9execute.pro"
+#  include "vim9expr.pro"
+#  include "vim9instr.pro"
 #  include "vim9type.pro"
 # endif
 # include "window.pro"