Mark run-ci.py as executable