Add "docker image prune"

[githubixx]

Run "docker image prune" optionally either as cronjob or as systemd timer (while the last one makes way more sense). This removes images no longer in use and saves therefore some disk space.