lint shell scripts

We should lint shell scripts with e.g. checkbashisms, ShellCheck, and/or something else. This could be implemented as a test that skips if the required tools aren't available.