move the GeoNode namespace into a static script file, makes more sense, easier for jslint integration, easier to extend applications
Correct the javascript links in the document search page.
At some point this file got lost in the branches, adding it back

Thanks to @mpriour for doing the original work on this template.
Include the correct path to the search template
Merge pull request #578 from iwillig/devJavaScriptPathFix

This pull request fix a couple of small path errors in the dev branch
Make the user profile page happy

This page uses from functions from the util.js module. Also, we moved
the batch_perms_submit function from a global function to a property
of a global "pub" object. Is this what we want?

Note that while these changes suppress the error, I am not sure it
"fixes" the page. It seems like there is missing functionality.
Update .travis.yml

Remove the integration tests for now.
Merge pull request #579 from iwillig/devJavaScriptPathFix

Make the user profile page happy
added Paolo Corti to the list of contributors
stop using the old gxp ptypes, use the new ones
Merge pull request #580 from bartvde/oldptype

stop using the old gxp ptypes, use the new ones
Roll geoserver-ext build scripts into geonode repo
Move geoserver-ext package scripts to package/geoserver
Merge pull request #581 from mweisman/dev

Roll geoserver-ext build scripts into geonode repo
undo unrelated change
Merge pull request #582 from bartvde/sdk

move static GeoNode-GeoExplorer script out of template, so that it is easier to reuse
make the search form working for words
add counts and filters for layer store types
Merge branch 'dev' of https://github.com/GeoNode/geonode into dev
Update repos used in jenkins-geonode-i18n.sh script