Mauritius gets the first female chief justice.