Ignore extracted binaries

ilyasergey · ilyasergey · commit d8ef27e64663 · 2017-10-07T13:50:47.000+01:00
diff --git a/.gitignore b/.gitignore
@@ -80,4 +80,5 @@ cv/*.out
 Makefile.coq
 extraction/**/*.mli
 extraction/**/*.ml
-_build
+_build
+*.d.byte
