Add ExtJS 4.2 source package.