do not download dependencies unless explicitly requested

[jll63]

Another take at this. By the way, Google benchmarks also has a switch that must be explicitly set to ON to make it download the missing deps.

Also, I include docs.in only conditionally.