Conflicts:
	drivers/cvc4_bare.drv
	share/provers-detection-data.conf
	src/driver/driver_parser.mly
	src/printer/smtv2.ml