dev_jll: overrides read-only

[fieker]

When ]dev-ing and dev_jll()-ing a jll, (e.g. FLINT_jll), the auto-populated override directory contents is readonly. Using cp to transfer the artifacts stuff presumably preserves the permissions. Thus to ultimately override the override one has to fix the permissions manually...