Add dolt install back to CI -- a runtime post-install isn't a great idea

Signed-off-by: Max Hoffman <[email protected]>

.github/workflows/pythonbuild.yml

@@ -37,6 +37,13 @@ jobs:
         make -C plugins install-all-dev
         sudo bash -c 'curl -L https://github.com/dolthub/dolt/releases/latest/download/install.sh | sudo bash'
         pip freeze
+    - name: Install Dolt
+      run: |
+        sudo bash -c 'curl -L https://github.com/dolthub/dolt/releases/latest/download/install.sh | sudo bash'
+        dolt config --global --add user.email [email protected]
+        dolt config --global --add user.name "Bojack Horseman"
+        dolt config --global --add metrics.host eventsapi.awsdev.ld-corp.com
+        dolt config --global --add metrics.port 443
     - name: Lint
       run: |
         make lint