Upgrade of GeoExt
Merge pull request #873 from camptocamp/geoext-upgrade

Upgrade of GeoExt