update .gitignore to match tracked files

.gitignore

@@ -194,7 +194,6 @@ Makefile.plugin.generated
 /src/kernel_internals/parsing/clexer.ml
 /src/kernel_internals/parsing/cparser.ml
 /src/kernel_internals/parsing/cparser.mli
-/src/kernel_services/ast_queries/json_compilation_database.ml
 /src/libraries/stdlib/transitioning.ml
 /src/plugins/gui/dgraph.ml
 /src/plugins/gui/dgraph.mli
@@ -204,8 +203,6 @@ Makefile.plugin.generated
 /src/plugins/gui/GSourceView2.ml
 /src/plugins/gui/GSourceView2.mli
 /src/plugins/gui/gtk_compat.ml
-/src/plugins/value/domains/apron/apron_domain.ml
-/src/plugins/value/domains/numerors/numerors_domain.ml
 
 # generated tar.gz files
 

bin/.gitignore

@@ -3,7 +3,6 @@
 /*.opt
 /toplevel.top
 /fc-config
-*.byte
 *.opt
 toplevel.top
 /machdep.exe

doc/code/.gitignore

@@ -6,7 +6,6 @@
 /callgraph_gui/
 /constant_propagation/
 /counter-examples/
-/docgen.ml
 /dynamic_plugins/
 /e-acsl/
 /from/

src/plugins/wp/doc/.gitignore

-cealistlogo.jpg
 frama-c-book.cls
-frama-c-cover.pdf
-frama-c-left.pdf
-frama-c-right.pdf
 feedback
 /html