Update jbmc gitignore

Correct the paths to the janalyzer and jdiff binaries.

Author: Joel Allred

.gitignore

@@ -111,10 +111,10 @@ src/clobber/clobber
 src/clobber/clobber.exe
 src/big-int/test-bigint
 src/big-int/test-bigint.exe
-jbmc/src/jbmc/janalyzer
-jbmc/src/jbmc/janalyzer.exe
-jbmc/src/jbmc/jdiff
-jbmc/src/jbmc/jdiff.exe
+jbmc/src/janalyzer/janalyzer
+jbmc/src/janalyzer/janalyzer.exe
+jbmc/src/jdiff/jdiff
+jbmc/src/jdiff/jdiff.exe
 jbmc/src/jbmc/jbmc
 jbmc/src/jbmc/jbmc.exe