Added UniMath package dependencies in github workflow, see #199

Author: peterlefanulumsdaine

.github/workflows/build-typetheory.yml

@@ -39,7 +39,7 @@ jobs:
           pwd
           git checkout master
           git show
-          make PACKAGES="Foundations MoreFoundations Combinatorics Algebra NumberSystems CategoryTheory Topology Ktheory PAdics" install
+          make PACKAGES="Foundations MoreFoundations Combinatorics Algebra NumberSystems PAdics CategoryTheory Bicategories Ktheory Topology SubstitutionSystems" install
           export PATH=$PATH:$PWD/sub/coq/bin/
           echo $PATH
           popd