Removed old occurences of the Sphinx search server.

Not to confuse with the Sphinx documentation system!
Merge pull request #1855 from jezdez/cleanup-sphinxsearch

Removed old occurences of the Sphinx search server.