Docker: cleanup unused resources

Docker likes to eat up disk space, so having some scripts handy for occasional cleanup is useful. I am storing here what I (currently) use for future reference »