Update CI files. Also, how can something so basic be made difficult? I just want to use the stupid Dockerfile for the CI..