Revamped Rome’s Colosseum opens after extensive restoration.