Merge branches 'master' and 'gh-pages' into develop
disable auto-regeneration
add _temp to .gitignore
add bash script for prebuilding site
add checkpoints to prebuild script
Merge branch 'feature/convert-to-prebuilt' into develop
Merge branch 'release/0.14'
make prebuild.sh executable
Merge branch 'hotfix/0.14.1'
fix and extend prebuild script
Merge branch 'hotfix/0.14.2'
fix prebuild script
Merge branch 'hotfix/0.14.3'