Cosmetic changes to heartbleed.c header & fix output from clients