Set the default option for using source code matching in the witness check to false. Although it works well for checking our own witnesses, it might be an inconvenient option for other tools.

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@13876 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c