Add globbing patterns to ``.gitignore`` so the files copied over by the ``contrib/cmake/bootstrap.py`` script are ignored and so don't get accidently commited.
Add globbing patterns to ``.gitignore`` so the files copied
over by the ``contrib/cmake/bootstrap.py`` script are ignored
and so don't get accidently commited.

kyledewey/z3,kyledewey/z3,mschlaipfer/z3,seahorn/z3,seahorn/z3,mschlaipfer/z3,seahorn/z3,kyledewey/z3,mschlaipfer/z3,kyledewey/z3,seahorn/z3,kyledewey/z3,kyledewey/z3,mschlaipfer/z3,seahorn/z3,mschlaipfer/z3,seahorn/z3,mschlaipfer/z3