Update ExtJS to latest 3.4.* release

A lot of improvements and support to internet explorer.
For further information, read the release notes of 3.3-3.4.