switch back to nightly

Author: JonasRegehr

Makefile

@@ -46,7 +46,7 @@ minimal-distribution:
 	[ ! -f herbie ] || (raco distribute herbie-compiled herbie && rm herbie)
 
 nightly: install
-	bash infra/compare.sh
+	bash infra/nightly.sh
 
 upgrade:
 	git pull