Two engineers walked into the government six months ago to drag federal retirements from an underground mine onto the Internet. They built retire.opm.gov and are poised to turn six-month waits into near-instant processing for hundreds of thousands of employees.