Varnish version in master should be trunk.

Try to avoid confusing everyone, since "4.0.1" (really trunk) has
fresher data than 4.0.2 (proper 4.0).

Mostly important for the sphinx builds put online.