Summer doldrums are slowing stock trading — but don't sell a dull market short