Ramat Hashofet, or Judges Heights, becomes Ramat Hashofetet to honor deceased Supreme Court justice