Added doc: Use --mode casc for running Vampire.