the geoext javascript libraries required by geonetwork