Default implementation for the AbstractDomain

Added default implementation for the AbstractDomain interface
which calls the AbstractState instance (pattern already found in many
CPAs).

Backported existing CPAs to used the new default implementation instead
of boilerplate code.

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