Bump Lucene version to 4.10

Change-Id: Id13cde38fd640130f31e9a78d8d4da5d7c280649
Add searchbox option to replace_macros.py.

Search boxes in documentation are useful when search feature is
available, but it's useless when we host the documentation statically.
Add this option so we can generate search-free version of the
documentation.

Change-Id: I35aadee989ae04b7bbcffd67011634cd0dd085c1
Add buck rule to generate docs for static hosting.

Add rule to build search-free documentation for static hosting, and update
dev-release documentation to reflect the new rule.

Change-Id: Ifc9284d3c44349e3099ad582fcc14ba27695f30a