Removed old occurences of the Sphinx search server.

Not to confuse with the Sphinx documentation system!