It's official: Paul Ryan is the vice presidential nominee of the Republican party.