install_galaxy.sh: add (unused) function 'unset_galaxy_parameter'.