Rename VERSION to avoid build failure on macOS

Author: zhassan-aws

src/Makefile

@@ -178,6 +178,9 @@ cadical-download:
 	@rm -Rf ../cadical
 	@mv cadical-$(cadical_release) ../cadical
 	@(cd ../cadical && ./configure)
+  # Need to rename VERSION so that it isn't picked up by `#include<version>` on
+  # macOS which is case insensitive
+	@(cd ../cadical && mv VERSION VERSION.txt)
 	@$(RM) $(cadical_release).tar.gz
 
 doc :