[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

website/docusaurus.config.js

@@ -17,7 +17,7 @@ module.exports = {
   themeConfig: {
     algolia: {
       apiKey: 'aac9e661e851db0d4b6e74802c3df9de',
-      indexName: 'infer',
+      indexName: 'fbinfer',
     },
     navbar: {
       title: 'Infer',