The Vatican Observatory has named four asteroids after key figures in its history, including the Pope who refounded the observatory in 1891.