Additions to the gitignore

Ignore some more generated files from the regressions folder (.gb files
and all the log files. Also removed some redundant lines that are now
covered by the **/*.log rule. Added the clobber binary and moved the
test-bigint binary to the binaries section.

Author: thk123

.gitignore

@@ -25,12 +25,9 @@ src/util/irep_ids.inc
 
 # regression/test files
 *.out
-regression/ansi-c/tests.log
-regression/symex/tests.log
-regression/cbmc-java/tests.log
-regression/cbmc/tests.log
-src/big-int/test-bigint
-src/big-int/test-bigint.exe
+regression/**/tests.log
+regression/**/*.gb
+regression/**/*.smt2
 
 # regression/coverage file
 /regression/coverage_**
@@ -81,6 +78,10 @@ src/symex/symex
 src/symex/symex.exe
 src/goto-diff/goto-diff
 src/goto-diff/goto-diff.exe
+src/clobber/clobber
+src/clobber/clobber.exe
+src/big-int/test-bigint
+src/big-int/test-bigint.exe
 
 # build tools
 src/ansi-c/file_converter