Add prompt for managing GitHub webhooks.

Later this make this automatic using the GitHub API. See comments for
details.
Merge pull request #78 from OpenTreeOfLife/nudge-oti-index

Add prompt for managing GitHub webhooks.