Improve GitHub comments.

- Use lists instead of tables, which cause lots of layout problems.
- Put all the text at the top.
- Make clearer the overall ok/not-ok evaluation, and which metrics
  contributed to that (i.e. instructions, yes; RSS and cycles, no).
- Use ❌ and ✅ instead of 😿 and 🎉, because they're clearer, in shape,
- Show "range" instead of just "max".
- Include a link to a document with some explanation of how to evaluate
  the overall result, for the rare cases where it is misleading or wrong.

Author: nnethercote