Only generate proto specs from Annotations.funspec

src/kernel_internals/typing/populate_spec.ml

src/kernel_internals/typing/populate_spec.mli

src/kernel_services/ast_queries/file.ml

tests/spec/default_spec_combine.ml

tests/spec/default_spec_custom.ml

tests/spec/default_spec_mode.i

tests/spec/oracle/default_spec_custom.0.res.oracle

tests/spec/oracle/default_spec_custom.1.res.oracle

tests/spec/oracle/default_spec_mode.0.res.oracle

tests/spec/oracle/default_spec_mode.1.res.oracle

tests/spec/oracle/default_spec_mode.2.res.oracle

tests/spec/oracle/default_spec_mode.3.res.oracle

tests/spec/oracle/default_spec_mode.4.res.oracle

tests/spec/oracle/default_spec_mode.5.res.oracle