Add opensearch support to the mathlib docs#256

PatrickMassot merged 4 commits into

leanprover-community:newsiteleanprover-community/leanprover-community.github.io:newsitefrom

eric-wieser:eric-wieser/chrome-omnibox-supporteric-wieser/leanprover-community.github.io:eric-wieser/chrome-omnibox-supportCopy head branch name to clipboard