8 tech-related facts about bin Laden's death and its aftermath