Add a user manual.
Review Request #8876 — Created April 5, 2017 and submitted — Latest diff uploaded
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.