Automatically restart Algolia crawler on new docs releases

[sodic]

trafficstars

Whenever we publish a new version of our docs, we need to manually log into the Algolia Crawler and update its search index. The search doesn't work properly until we do. This is annoying and easy to forget, so we should automate it.

Investigate whether we can have Algolia automatically scrape our docs whenever we do a release (either with a hook or an explicit API call).