If we merge this as it is, it will rebuild all of the Docker containers... I don't think we want that as it may affect things that are running... What about doing a make docker-buildhere for the first run and then a new PR to move it to make docker-push?
This will check versions on master that changed since the last Travis build. It will build and publish them