add sphinx search extension