Lint documentation, use HTTPS for links to OpenTAP
This MR
- lints the documentation to remove spurious whitespace
- wraps text to 80 columns (for easier reading in text editors; rendered Markdown is unaffected)
- adds newlines around Markdown source/"pre" blocks to ensure they render properly
- replaces HTTP links to OpenTAP with HTTPS
Since this MR doesn't touch code, do I still need to sign and submit the CLA?