Make writeKTHSigset.sh executable