Update GeoExt

To get https://github.com/geoext/geoext/pull/93
Merge pull request #684 from camptocamp/update-geoext

Update GeoExt