CI: Run shellcheck on all shell scripts

The shellcheck tool is pretty good at spotting potential trouble points in shell code. Let's run it on all of our .sh files as part of our CI process.

Also, let's rename downgrade_dependencies to end with .sh so that CI will be able to find it.

(There is one file currently giving shellcheck errors; it should be fixed by !266 (merged))