Grace Hopper, Margaret Hamilton, Presidential Medal of Freedom