Fixing markup on reStructuredText documents

[rptb1]

I suggest reviewing this by (inter alia) looking at how the changed documents appear on GitHub, since that's the purpose of the work.

Fixes #99 .

Prevented by #112 .

[rptb1]

1. Im: GitHub does not recognize licence.
2. Im: Build instructions have some Sphinx markup (:ref: :term:) that GitHub can't interpret.
3. Im: Supported platforms might be easier to read as a table.

[UNAA008]

Should the change history of these documents be updated?

[rptb1]

Executing draft express review procedure.

1. I've called in @UNAA008
2. @UNAA008 and @rptb1 agree the change is low risk.
3. Improvement suggestion: purpose should include getting stuff done
4. We agree none of the issue should prevent exit.
5. One minute brainstorm: Clarify what explicit document history is for. Quick low risk edits can even be done via GitHub web editor, like 1ddf11a.
6. Failed exit because we haven't taken action on our own issue. Let's do that.

• Im: GitHub does not recognize licence.

Already captured at #98 (comment)

• Im: Build instructions have some Sphinx markup (:ref: :term:) that GitHub can't interpret.

Forget: Not worth worrying about.

• Im: Supported platforms might be easier to read as a table.

Edit: 1ddf11a

Should the change history of these documents be updated?

Raise: #140

7. Exit criteria passed this time.
8. Revised change passed!
9. First test of express review done.
10. review.exit.calc

• elapsed time: 35 mins
• hours used: 1h
• hour saved: unclear but non-zero

[UNAA008]

Approving merge as a result of this review #105 (comment)

[rptb1]

Executing proc.merge.pull-request

1. There is not really an automated test case because it would need to view documents via the GitHub web interface and assess how readable they were. You potentially could check whether *.rst is in a particular format using e.g. curl but maybe we can add a rule to Check the syntax of reStructuredText files during CI #112 to make sure it works anyway.
2. There's a conflict in .travis.yml but it's trivial and I'll deal with it in merge.

Merge completed in 25 mins.