Fix build breakage with newer pgi; Switch to rtd theme; default.sh script to build the default online version
push.sh: push the last build to github pages