Use a logger with a meaningful prefix when creating new components
such that we can distinguish log messages from different CPA instances,
or sub-algorithms of RestartAlgorithm.

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