Build the docker images automatically on push to `devel`

[max-models]

I think it looks good! As a next step, we should try to build the docker images automatically on push to devel, so that they are always up to date.

Originally posted by @max-models in #66 (comment)