Add autotools, etc, to github workflow.

.github/workflows/push.yml

@@ -31,6 +31,7 @@ jobs:
       - name: "Install dependencies"
         run: |
           sudo apt-get update -qq
+          sudo apt-get install autotools-dev autoconf pkg-config
           sudo apt-get install -qq ${{ matrix.deps }}
           git submodule init
           git submodule update