Fix the link to the GitHub repo in the documentation.

GitHub's user and organization names are case-sensitive, so we must use
"Supervisor" rather than "supervisor".
Merge pull request #368 from jszakmeister/fix-repo-link-in-docs

Fix the link to the GitHub repo in the documentation.