Bash build scripts

These are scripts to download the sources for and build every Bash version on demand. Useful for trying to debug Bash programs that behave differently when run under different versions of Bash.