Add CI support using github actions

[t-b]

Run the whole thing in a debian buster docker image, see https://stackoverflow.com/a/58521709