Copy and run script-checking scripts from arti.git

This branch is on top of !2 (merged). I think probably future MRs ought to come on top of this, so that we don't regress shellcheck etc., so merging this is a fairly high priority.