update sv-comp15 benchmark definition, by removing unused sets stateful and driver challenges, removing experimental configs; adding option for simple memory model to simple set and device drivers 64

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