Makefile.proof: Remove cvc4 from prover list

Since we have z3, it was never of much use.

Change-Id: Ib0458bfe53fd999c60f8d1b7cf8709e6195d0a42
Signed-off-by: Nico Huber <nico.huber@secunet.com>
Reviewed-on: https://review.coreboot.org/c/libhwbase/+/26837
Tested-by: Nico Huber <nico.h@gmx.de>
Reviewed-by: Reto Buerki <reet@codelabs.ch>
1 file changed