[infer][PR] [website] change Algolia search id
[infer][PR] [website] change Algolia search id

Summary:
Apologies! I tweaked the value but it was already imported into Phabricator and https://github.com/facebook/infer/issues/1231 was merged without the change.
Pull Request resolved: https://github.com/facebook/infer/pull/1232

Differential Revision: D20281501

Pulled By: jvillard

fbshipit-source-id: 1e657f2fa

jvillard/infer,facebook/infer,jvillard/infer,facebook/infer,jvillard/infer,facebook/infer,jvillard/infer,jvillard/infer,facebook/infer,jvillard/infer,facebook/infer,jvillard/infer,facebook/infer,facebook/infer