Add a user manual.

Review Request #8876 — Created April 5, 2017 and submitted — Latest diff uploaded

Information

ReviewBot
master
dd23f61...

Reviewers

This change adds in a new user manual for Review Bot, which goes into much more
detail about installation, configuration, and what tools are available.

Built HTML and proofread the results.