Replaced occurrences of leader/follower terminology with master/slave

This is not something we should have to talk about.