Removed Debian 5-specific Launcher 32-bit Debian build script,
and merged it with the general Debian 32-bit Launcher build script.
Removed Debian 5-specific Launcher 32-bit Debian build script, and
merged it with the general Debian 32-bit Launcher build script.

Build directory no longer needs to be a subdirectory of $HOME.

Checks are added to ensure that the user remembered to type the
command-line argument, i.e. the name of the build directory, and
to ensure that the directory doesn't already exist.