make run.py script compatible with run.sh
make run.py script compatible with run.sh

peschue/clingo,peschue/clingo,peschue/clingo,potassco/clingo,potassco/clingo,potassco/clingo,potassco/clingo,peschue/clingo