Don't delete build directory of cmake projects.
Don't delete build directory of cmake projects.

This was really irritating if you run fenics-update or fenics-build
twice.

I'm going to trust people who are compiling with FEniCS from scratch
that they know they might occasionally need to clean out the CMake
build directory.

FEniCS/docker