Five US presidents - past and present - set aside political differences to pay their final respects to former President Jimmy Carter at his funeral in the Washington National Cathedral.