Fix docs/search.json.

• only loop through html_pages
• skip pages without a title
• stop double escaping the title; use Jekyll's jsonify filter to output valid JSON
• remove date since we don't use it

/CC @cvrebert @mdo