Merge pull request #213 from mithro/dependabot-gha infra: Use dependabot to automatically update GitHub actions.