Test CLI install

Author: samuelburnham

.github/workflows/ci.yml

@@ -30,8 +30,9 @@ jobs:
         with:
           build-args: "--wfail -v"
           test: true
+      - run: mkdir -p ~/.local/bin
       - name: Test Ix CLI
-        run: lake test -v -- cli
+        run: lake test -- cli
       - name: Check lean.h.hash
         run: lake run check-lean-h-hash