Shared Github workflows.

Put reusable workflows here so we can avoid copying them all over the place in other repos.

This repo is public, so please make sure that you don't put anything sensitive in here.