--isolated in Docker image

A quick test seems to show that --isolated does significantly increase the drive space usage. That seems like something we don’t want for Docker images.

Update: I forgot to test with the symbolic linking. I just did that; the isolated builds are still larger but using symbolic links does mitigate some of the growth.