Add prod-run.sh
Use cegdown instead of pegdown.