Use $replication_info everywhere, instead of $server_* variables.

As suggested in todo [1], $replication_info has been used everywhere, instead of $server_master/slave variables.
Does someone with replication can test it please?

[1] libraries/replication.inc.php:119