Turn on executable bit of some scripts on the Gambit repo so that a clone will also set the bit