Merge pull request #3718 from martin-cs/fix/ignore-autogenerated-version

Correct the path of the autogenerated version file in .gitignore.

Author: Daniel Kroening

.gitignore

@@ -28,7 +28,7 @@ Release/*
 *.obj
 *.a
 *.lib
-util/version.cpp
+src/util/version.cpp
 src/ansi-c/arm_builtin_headers.inc
 src/ansi-c/clang_builtin_headers.inc
 src/ansi-c/cprover_builtin_headers.inc