Stop losing the Half Dome day-hike lottery. There are seven wilderness permit trailheads that let you add Half Dome and the math is overwhelmingly in your favor. Here's exactly how to do it.