Building Daisy in GitHub Actions fails

[bksaiki]

FPBench currently has a job within GitHub Actions that tests the FPCore to Daisy compiler. It began failing a few week ago with the following message:

Cloning into '/home/runner/.sbt/1.0/staging/fac1130dcabb01fad620/scala-smtlib'...
fatal: remote error: 
  The unauthenticated git protocol on port 9418 is no longer supported.
Please see https://github.blog/2021-09-01-improving-git-protocol-security-github/ for more information.

It seems you can no longer use git:// without authentication. I can't recreate this locally: building it on my machine seems completely fine. I tried changing it to https:// in build.sbt but this also fails with a different message

[error] sbt.librarymanagement.ResolveException: Error downloading default:scala-smtlib_2.13:0.1.0-SNAPSHOT
[error]   Not found
[error]   Not found
[error]   not found: /home/runner/.ivy2/localdefault/scala-smtlib_2.13/0.1.0-SNAPSHOT/ivys/ivy.xml
[error]   not found: https://repo1.maven.org/maven2/default/scala-smtlib_2.13/0.1.0-SNAPSHOT/scala-smtlib_2.13-0.1.0-SNAPSHOT.pom
[error]   not found: https://oss.sonatype.org/content/repositories/releases/default/scala-smtlib_2.13/0.1.0-SNAPSHOT/scala-smtlib_2.13-0.1.0-SNAPSHOT.pom
[error]   not found: https://repo.typesafe.com/typesafe/releases/default/scala-smtlib_2.13/0.1.0-SNAPSHOT/scala-smtlib_2.13-0.1.0-SNAPSHOT.pom

I then added "com.regblanc" %% "scala-smtlib" % "0.2.1-42-gc68dbaa" to the list of library dependencies (libraryDependencies) and removed the dependOn(smtlib) call when declaring the Daisy project. Now the build works both locally and on GitHub Actions. I'm unfamiliar with sbt and Scala in general so I'm not sure if this is a valid fix.