The gold miners’ stocks have been grinding lower for a month now, sapping traders’ enthusiasm. But this is par for the gold-summer-doldrums course, what typically happens in June.