addind config for recursion as last analysis. It is only executed, if any previous analysis aborts because of recursion, because the analysis before has no timelimit. Score for recursive files increases (+8 in Recursive.set, +11 for recursive ldv-files).

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