Update svn:mergeinfo to record the fact
that the latest trunk commits are also present in this branch.
Commits need to be copied between the branches with "svn merge"
and should not be applied manually in both branches.


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