replace bors with mergify

bors no longer works for merge queues.

.mergify.yml

@@ -0,0 +1,16 @@
+queue_rules:
+  - name: default
+    merge_conditions:
+      - check-success=tests
+defaults:
+  actions:
+    queue:
+      allow_merging_configuration_change: true
+      method: rebase
+pull_request_rules:
+  - name: merge using the merge queue
+    conditions:
+      - base=master
+      - label~=merge-queue|dependencies
+    actions:
+      queue: {}

bors.toml

@@ -1,2 +0,0 @@
-cut_body_after = "" # don't include text from the PR body in the merge commit message
-status = [ "tests" ]