[Headers] make headers OPEN_SOURCE=yes

configure.in

src/kernel_internals/parsing/logic_lexer.mli

src/kernel_internals/parsing/logic_lexer.mll

src/kernel_internals/parsing/logic_parser.mly

src/kernel_internals/parsing/logic_preprocess.mli

src/kernel_internals/parsing/logic_preprocess.mll

src/kernel_internals/typing/logic_builtin.ml

src/kernel_internals/typing/logic_builtin.mli

src/kernel_internals/typing/translate_lightweight.ml

src/kernel_internals/typing/translate_lightweight.mli

src/kernel_services/ast_printing/logic_print.ml

src/kernel_services/ast_printing/logic_print.mli

src/kernel_services/ast_queries/logic_const.ml

src/kernel_services/ast_queries/logic_const.mli

src/kernel_services/ast_queries/logic_env.ml

src/kernel_services/ast_queries/logic_env.mli

src/kernel_services/ast_queries/logic_typing.ml

src/kernel_services/ast_queries/logic_typing.mli

src/kernel_services/ast_queries/logic_utils.ml

src/kernel_services/ast_queries/logic_utils.mli