The U.S. government just declassified Cold War-era docs about DIY nukes