Tirsdag ble Donald Trump formelt valgt til republikanernes presidentkandidat. I kulissene har partiet samtidig snekret sammen et nytt partiprogram.