Fix search bar so that it goes to the new themed docs rather than the RTD full text search (as theme is different)

@eteq - we should probably merge this before 0.1