Parallelize ide.xml (#14276)

With this patch, the theme-and-default-widgetset target finishes in 50
seconds, whereas it takes about 80 seconds without the patch. This
happens at the cost of peak memory usage rising from ~750mb to ~850mb.

Change-Id: I969e9b3b01907e24bb8d411884d060ca1b539bde