Oljefondet blir omdøpt til pensjonsfond