Make some updates to search indexing documentation.
Review Request #961 — Created Nov. 14, 2017 and updated — Latest diff uploaded
This change updates our docs for search indexing to talk about Elasticsearch and on-the-fly indexing. Testing done: - Built HTML, checked output. - Spellcheck. Reviewed at https://reviews.reviewboard.org/r/9348/