Eu descobri algumas boas maneiras de remover “imagens finais” usando um script de shell, mas nenhuma boa maneira de fazer uma limpeza completa das imagens do docker. Acabei optando pelo seguinte, que ainda é bastante manual, mas economiza algum tempo:
docker rmi $(docker images -q | head -n 1)