[compliance] add c11_headers.json to distributed files

Makefile

@@ -280,6 +280,7 @@ DISTRIB_FILES:=\
       $(wildcard share/emacs/*.el) share/autocomplete_frama-c           \
       share/_frama-c                                                    \
       share/compliance/c11_functions.json                               \
+      share/compliance/c11_headers.json                                 \
       share/compliance/glibc_functions.json                             \
       share/compliance/nonstandard_identifiers.json                     \
       share/compliance/posix_identifiers.json                           \
@@ -1945,6 +1946,7 @@ install:: install-lib-$(OCAMLBEST)
 	  $(FRAMAC_DATADIR)/analysis-scripts
 	$(MKDIR) $(FRAMAC_DATADIR)/compliance
 	$(CP) share/compliance/c11_functions.json \
+	  share/compliance/c11_headers.json \
 	  share/compliance/glibc_functions.json \
 	  share/compliance/nonstandard_identifiers.json \
 	  share/compliance/posix_identifiers.json \

headers/header_spec.txt

@@ -136,6 +136,7 @@ share/analysis-scripts/results_display.py: .ignore
 share/analysis-scripts/summary.py: .ignore
 share/analysis-scripts/template.mk: .ignore
 share/compliance/c11_functions.json: .ignore
+share/compliance/c11_headers.json: .ignore
 share/compliance/glibc_functions.json: .ignore
 share/compliance/nonstandard_identifiers.json: .ignore
 share/compliance/posix_identifiers.json: .ignore