fix(deploy.sh): check npm and minify, also use 'set -e'
fix(deploy.sh): check npm and minify, also use 'set -e'

avigad/logic_and_proof,soonhokong/logic_and_proof,leanprover/logic_and_proof,fpvandoorn/logic_and_proof,rlewis1988/logic_and_proof,avigad/logic_and_proof,rlewis1988/logic_and_proof,avigad/logic_and_proof,soonhokong/logic_and_proof,fpvandoorn/logic_and_proof,leanprover/logic_and_proof,rlewis1988/logic_and_proof,fpvandoorn/logic_and_proof,leanprover/logic_and_proof,soonhokong/logic_and_proof