Update ExtJS to latest 3.4.* release

This works pretty without any change.
There is now better IE support.
Merge pull request #430 from cookiekiller/extjs_update

Updates ExtJS to latest 3.4.* release