buildbot: upload efi_diff.txt and include a link to it in index.html
buildbot: fix typos in html generation
buildbot: return the result from efi_diff_as_txt()