Some CRaC-related options have names starting with "CRaC" (e.g. "CRaCCheckpointTo") while some have them starting only with "CR" (e.g. "CREngine").

Let's use CRaC prefix everywhere for consistency, keeping "CR*" as a deprecated alias for the renamed options. When CRaC gets into the mainline these deprecated names will be removed completely.