chore: revert casing change and instead output lower-cased bin

build-msys2.sh

@@ -1 +1 @@
-leanmake PKG=Lake LEAN_PATH=./build bin LINK_OPTS=-Wl,--export-all "$@"
+leanmake PKG=Lake BIN_NAME=lake LEAN_PATH=./build bin LINK_OPTS=-Wl,--export-all "$@"

build-unix.sh

@@ -1 +1 @@
-leanmake PKG=Lake LEAN_PATH=./build bin LINK_OPTS=-rdynamic "$@"
+leanmake PKG=Lake BIN_NAME=lake LEAN_PATH=./build bin LINK_OPTS=-rdynamic "$@"

examples/bootstrap/check.sh

@@ -1,4 +1,4 @@
 set -ex
 
-./build/bin/Lake --version
-./build/bin/Lake self-check
+./build/bin/lake --version
+./build/bin/lake self-check

examples/bootstrap/package.sh

@@ -1 +1 @@
-../../build/bin/Lake build-bin
+../../build/bin/lake build-bin

examples/deps/package.sh

@@ -1,3 +1,3 @@
 cd foo
 echo "in directory 'foo'"
-../../../build/bin/Lake build-bin
+../../../build/bin/lake build-bin

examples/ffi/package.sh

@@ -1 +1 @@
-../../build/bin/Lake build-bin
+../../build/bin/lake build-bin

examples/git/package.sh

@@ -1 +1 @@
-../../build/bin/Lake build-bin
+../../build/bin/lake build-bin

examples/hello/bootstrapped-test.sh

@@ -1,3 +1,3 @@
 ./clean.sh
-../bootstrap/build/bin/Lake build-bin
+../bootstrap/build/bin/lake build-bin
 ./build/bin/Hello

examples/hello/package.sh

@@ -1 +1 @@
-../../build/bin/Lake build-bin
+../../build/bin/lake build-bin

examples/init/test.sh

@@ -4,10 +4,10 @@ set -ex
 
 # Test `new`
 
-../../build/bin/Lake new helloNew
+../../build/bin/lake new helloNew
 
 cd helloNew
-../../../build/bin/Lake build-bin
+../../../build/bin/lake build-bin
 ./build/bin/helloNew
 cd ..
 
@@ -15,7 +15,7 @@ cd ..
 
 mkdir helloInit
 cd helloInit
-../../../build/bin/Lake init helloInit
+../../../build/bin/lake init helloInit
 
-../../../build/bin/Lake build-bin
+../../../build/bin/lake build-bin
 ./build/bin/helloInit

examples/io/package.sh

@@ -1 +1 @@
-../../build/bin/Lake build-bin -- --foo
+../../build/bin/lake build-bin -- --foo