SERVER-13069 nicer and slightly less verbose distributed lock messages