Add config knobs for sphinx server.

Simple change to allow configuration of the sphinx server host and port. (Localhost and 9312 are both unavailable on openshift.) Defaults are included in config.php-dist.

Released gpl, all rights released to you, trivial change, etc etc..