Kenya Railways Staff Retirement Benefit Scheme officials agree to shelve suit against Edermann Properties Limited