Fix ./build.sh prod-server, for new build
Add 'deploy-prod.sh' to deploy to a web-server