Scripts for scanning and patching servers for the heartbleed bug