set up CI

[PieterVdc]

github should build this stuff

[yani]

I think we first need to make sure the docker build environment can be cached, because it takes around 45 minutes to build.