Tuck search-index.json within .gitignore

This prevents accidentally checking in a changed search-index. This
does mean we’ll need to manually perform changes on the web in the
future, but that’s okay. This file changes very infrequently, but the
build keeps wanting to mess with it.