more files to ignore

Author: kroening

.gitignore

@@ -30,8 +30,10 @@ Release/*
 *.lib
 src/ansi-c/arm_builtin_headers.inc
 src/ansi-c/clang_builtin_headers.inc
+src/ansi-c/cprover_builtin_headers.inc
 src/ansi-c/cprover_library.inc
 src/ansi-c/cw_builtin_headers.inc
+src/ansi-c/gcc_builtin_headers_types.inc
 src/ansi-c/gcc_builtin_headers_alpha.inc
 src/ansi-c/gcc_builtin_headers_arm.inc
 src/ansi-c/gcc_builtin_headers_generic.inc
@@ -46,6 +48,7 @@ src/ansi-c/gcc_builtin_headers_tm.inc
 src/ansi-c/gcc_builtin_headers_mips.inc
 src/ansi-c/gcc_builtin_headers_power.inc
 src/ansi-c/gcc_builtin_headers_ubsan.inc
+src/ansi-c/windows_builtin_headers.inc
 src/java_bytecode/java_core_models.inc
 
 # regression/test files
@@ -104,8 +107,8 @@ src/goto-instrument/goto-instrument.exe
 src/jbmc/jbmc
 src/musketeer/musketeer
 src/musketeer/musketeer.exe
-src/solvers/smt2/smt2_solver
-src/solvers/smt2/smt2_solver.exe
+src/solvers/smt2_solver
+src/solvers/smt2_solver.exe
 src/symex/symex
 src/symex/symex.exe
 src/goto-diff/goto-diff