The constructible topology on spaces of valuation domains