[PATCH 4/4] new script which extracts platform-specific CCEs from master CCE list * because apparently only the master list is provided in XML, and it's 10MB * this gets us down to about 280K for the RHEL 5-specific CCE list