Testing Docker image push

facilitator: update libprio dependency branch

Bad news: the build broke because we changed the default branch of
libprio-rs to main, and eventually deleted the master branch, so the
dependency became unresolvable.
Good news: our CI setup works!