Add nicer status badges and workflow names

.github/workflows/ci.yml

@@ -1,3 +1,5 @@
+name: CI
+
 on:
   push: {branches: main}
   pull_request: {branches: main}

.github/workflows/integration.yml

@@ -1,3 +1,5 @@
+name: Integration
+
 on:
   push: {branches: main}