Migrate CI/CD from AzureDevOps to Guthub action

[jikuma]

Github action is easier to maintain and share publicly.
We also need the capability to transparently update the extension once the PR is merged.