[PATCH v2] widl: Support midl_pragma default option