CircleCI: Clean up docker image

Authored by bgamari on Nov 24 2018, 11:34 AM.