make script executable

I hadn’t correctly implemented permission-porting in the script that I
used to copy this file and its version history from a private repo that
it was born in :)