Split docker building into own repo
This repo currently builds the docker images. This results in a rebuild if the theme changes, or vice versa.
As warwick surgested, we should split these two roles. The docker containers should probably be moved into their own repositories.