Move from Azure DevOps to GitHub Actions

[TimHess]

Remove DevOps pipeline, add GitHub Actions Workflow.

Now also runs weekly so we can automatically catch dependency issues, but we should know this:

"In a public repository, scheduled workflows are automatically disabled when no repository activity has occurred in 60 days."

Resolves #100
Resolves #105

[bart-vmware]

Added a commit to sync up, please review my changes before merge.

[bart-vmware]

Now also runs weekly so we can automatically catch dependency issues, but we should know this:

"In a public repository, scheduled workflows are automatically disabled when no repository activity has occurred in 60 days."

We could work around that by running:

git commit --allow-empty -m "Empty commit to keep repository alive"
git push

on each scheduled run.

[TimHess]

Now also runs weekly so we can automatically catch dependency issues, but we should know this:

"In a public repository, scheduled workflows are automatically disabled when no repository activity has occurred in 60 days."

We could work around that by running:

git commit --allow-empty -m "Empty commit to keep repository alive"
git push

on each scheduled run.

Sure, and that would be pretty straightforward, but I think I'd rather add a separate job to do it like every 59 days than push an extra commit every week