Four asteroids have been named after three Vatican astronomers and the Pope who began the tradition of papal patronage of its work.