ci: split up pipelines by host

Rationale: if one build fails, the other one will still continue running.
Especially since we already have some (and will presumably add more)
proprietary software to nixda which may require manual intervention
using nix-prefetch-url, this seems like a good idea.

An alternative would be to just specifiy `--keep-going`, but this seems
likely to lead to unreadable output.

However, I'm not sure what exactly happens when we try to run builds for
both hosts at once on the same nix store — it may be that this isn't the
best idea, but I guess we can just make the pipelines sequential instead
if necessary.

pipeline: fix mistake in build command

(previous commit contained two builds for nixda, none for hainich)

.gitlab-ci.yml

@@ -1,9 +1,16 @@
 stages:
   - build
 
-build:
+build-nixda:
   tags:
     - nix
   stage: build
   script:
-    - nix-build -A deploy.all
+    - nix-build -A deploy.nixda
+
+build-hainich:
+  tags:
+    - nix
+  stage: build
+  script:
+    - nix-build -A deploy.hainich