CI: check that there are no executable files in pmaports

We'll need to add a CI check that forbids executable files in new MRs to ensure that we won't need such tree-wide changes as in !1237 (merged)

Executable files should be installed with install -m755...