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