Create temporary branch for testing the removal of IASTNode#getRawSignature()


git-svn-id: https://svn.sosy-lab.org/software/cpachecker/branches/rawsignature-removal@5157 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
Removal of IASTNode#getRawSignature in every file and also from the constructors if necessary

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/branches/rawsignature-removal@5160 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
Merge branch 'master' into rawsignature-removal

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/branches/rawsignature-removal@5163 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
fix compile errors introduced through merge

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/branches/rawsignature-removal@5164 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
merge changes from trunk


git-svn-id: https://svn.sosy-lab.org/software/cpachecker/branches/rawsignature-removal@5172 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
Fix version detection of CPAchecker in benchmark scripts.
The version is not always in the first line of CPAchecker's output.

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@13003 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
Upgrade version of AppEngine SDK

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

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