[infer][PR] [website] add Algolia search

Summary:
Add Algolia Search. Fixes https://github.com/facebook/infer/issues/1228.
Pull Request resolved: https://github.com/facebook/infer/pull/1231

Test Plan:
Search bar and results appear.

<img width="1552" alt="Screen Shot 2020-03-05 at 8 32 52 PM" src="https://user-images.githubusercontent.com/1315101/75981980-97e23d00-5f20-11ea-90ae-7b78d00cda11.png">

Differential Revision: D20281049

Pulled By: jvillard

fbshipit-source-id: e253a1147

website/docusaurus.config.js

@@ -6,75 +6,79 @@
  */
 
 module.exports = {
-  title: "Infer",
+  title: 'Infer',
   tagline:
-    "A tool to detect bugs in Java and C/C++/Objective-C code before it ships",
+    'A tool to detect bugs in Java and C/C++/Objective-C code before it ships',
-  url: "https://fbinfer.com",
+  url: 'https://fbinfer.com',
-  baseUrl: "/",
+  baseUrl: '/',
-  favicon: "img/favicon.png",
+  favicon: 'img/favicon.png',
-  organizationName: "facebook",
+  organizationName: 'facebook',
-  projectName: "infer",
+  projectName: 'infer',
   themeConfig: {
+    algolia: {
+      apiKey: 'aac9e661e851db0d4b6e74802c3df9de',
+      indexName: 'infer',
+    },
     navbar: {
-      title: "Infer",
+      title: 'Infer',
-      logo: { alt: "Infer Logo", src: "img/logo.png" },
+      logo: { alt: 'Infer Logo', src: 'img/logo.png' },
       links: [
-        { label: "Docs", to: "docs/getting-started" },
+        { label: 'Docs', to: 'docs/getting-started' },
-        { label: "Support", to: "docs/support" },
+        { label: 'Support', to: 'docs/support' },
-        { label: "Blog", to: "blog" },
+        { label: 'Blog', to: 'blog' },
         {
-          href: "https://twitter.com/fbinfer",
+          href: 'https://twitter.com/fbinfer',
-          label: "Twitter",
+          label: 'Twitter',
-          position: "right"
+          position: 'right',
         },
         {
-          href: "https://www.facebook.com/inferstaticanalyzer",
+          href: 'https://www.facebook.com/inferstaticanalyzer',
-          label: "Facebook",
+          label: 'Facebook',
-          position: "right"
+          position: 'right',
         },
         {
-          href: "https://github.com/facebook/infer",
+          href: 'https://github.com/facebook/infer',
-          label: "GitHub",
+          label: 'GitHub',
-          position: "right"
+          position: 'right',
-        }
+        },
-      ]
+      ],
     },
     footer: {
-      style: "light",
+      style: 'light',
       links: [
         {
-          title: "Docs",
+          title: 'Docs',
           items: [
-            { label: "Quick Start", to: "docs/getting-started" },
+            { label: 'Quick Start', to: 'docs/getting-started' },
-            { label: "User Guide", to: "docs/infer-workflow" },
+            { label: 'User Guide', to: 'docs/infer-workflow' },
-            { label: "Foundations", to: "docs/about-Infer" },
+            { label: 'Foundations', to: 'docs/about-Infer' },
-            { label: "Bug Types Reference", to: "docs/checkers-bug-types" },
+            { label: 'Bug Types Reference', to: 'docs/checkers-bug-types' },
-            { label: "Contribute", to: "docs/absint-framework" }
+            { label: 'Contribute', to: 'docs/absint-framework' },
-          ]
+          ],
         },
         {
-          title: "Community",
+          title: 'Community',
-          items: [{ label: "Support", to: "docs/support" }]
+          items: [{ label: 'Support', to: 'docs/support' }],
         },
         {
-          title: "Social",
+          title: 'Social',
           items: [
-            { label: "Blog", to: "blog" },
+            { label: 'Blog', to: 'blog' },
-            { label: "GitHub", href: "https://github.com/facebook/infer" },
+            { label: 'GitHub', href: 'https://github.com/facebook/infer' },
-            { label: "Twitter", href: "https://twitter.com/fbinfer" }
+            { label: 'Twitter', href: 'https://twitter.com/fbinfer' },
-          ]
+          ],
-        }
+        },
       ],
-      copyright: `Copyright © ${new Date().getFullYear()} Facebook, Inc. Built with Docusaurus.`
+      copyright: `Copyright © ${new Date().getFullYear()} Facebook, Inc. Built with Docusaurus.`,
-    }
+    },
   },
   presets: [
     [
-      "@docusaurus/preset-classic",
+      '@docusaurus/preset-classic',
       {
-        docs: { sidebarPath: require.resolve("./sidebars.js") },
+        docs: { sidebarPath: require.resolve('./sidebars.js') },
-        theme: { customCss: require.resolve("./src/css/custom.css") }
+        theme: { customCss: require.resolve('./src/css/custom.css') },
-      }
+      },
-    ]
+    ],
-  ]
+  ],
 };