[css-animations] Convert a few remnants of OMG IDL into WebIDL.