Improved startup / build scripts

Previously, startup and build scripts needed to include a “hashbang” statement, e.g.:

#! /bin/bash
echo "foo" > /home/nt-user/workspace

Everyone (including us!) forgot to add the hashbang almost all the time, so we checked how these features were currently being used, and turned out 99.98% of the time, these were just Bash scripts anyway.

As such, these scripts now always run with Bash. Any content that previously didn’t use Bash has been updated to do so.