Nightly: make py and shell scripts executable (#514).