Publish devel workshop to site
update jenkins-geonode-docs.sh with some temp debugging
Move geonode-rpm repo into main repo
Re-naming RHEL/CentOS packaging dir
Merge pull request #712 from mweisman/master

Move rhel packaging scripts into main repo
Merge branch 'master' of https://github.com/KDMgit/geonode