Enable CI

[maelvls]

When should a build run?

• Idea 1: run the build on every push (PR + master)
• Idea 2: run the build when asked, eg like Google does with /gcbrun

Where should the build run?

• Idea A: Github Actions which in turn will run gcloud builds submit