Updated docs/configuration.md.

- Copied the output of --help messages from configure, master, and
  slave.
- The option tables are now in html format.
- Removed the explanation of the default configure flags.

Review: https://reviews.apache.org/r/27556
Only push the tag when tagging a release.

Git prefers branches to tags so be explicit.