Set permissions dialog

When the user selects a file using the file picker, the code checks if the file has the executable bits set. If not, it proposes to make the file executable by setting only the users x bits, or for +x everyone.