Dev environment running out of disk space

In general this is totally right, but we don’t really have this helper on our dev docker path. We should certainly have a ‘d/cleanup’ for our dev docker setup, @riking maybe add that?