Downloadable and recorded computer software for vehicle navigation; downloadable and recorded computer software for operating an autonomous vehicle