Launch-day server hiccups failed to disrupt shoppers racing for deep cuts across Steam’s catalog before the July 10 close