Im Iran ist der vor mehr als vier Monaten getötete oberste Führer Chamenei beerdigt worden.