Thousands gathered in Oslo as Norway held a funeral for King Harald V, with European royals and world leaders joining the final farewell to the long-serving monarch.