`build-docker.sh` accepts options to run things selectively.

[toddjonker]

Also:

• Added an option to open a shell in the container.
• Added direct build targets html and pdf.
• Fixed some shellcheck warnings.

---

By submitting this pull request, I confirm that my contribution is made under the terms of the Apache 2.0 license.