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