Documents leaked by Edward Snowden to the media have revealed the sometimes strange code names the NSA has used now and in the past for its operations and hacker tools. Here’s a sampling of the weirdest.