What to do now that the Heartbleed bug exposed the Internet