minor clean-ups in ProGolem run script
minor clean-ups in ProGolem run script

AKSW/DL-Learning-Benchmark,AKSW/SML-Bench,AKSW/SML-Bench,AKSW/DL-Learning-Benchmark,AKSW/SML-Bench,AKSW/SML-Bench,AKSW/SML-Bench