Tweaking Docker setup.

Includes a new option -C to install-clang that discards the whole
source/build directory at the end, in an effort to keep the image size
small.