Add quiet mode for bootstrap

[Samuel Lelièvre]

This ticket is to add a -q flag to bootstrap so that it will print out less.

[Michael Orlitzky]

Somebody want to come up with usage() strings for the other options? I'm not really sure what they're meant to do.

---

New commits:

​f537959	Trac #30533: add new -q (quiet) flag for the bootstrap process.
​6547b33	Trac #30533: hide automake (stderr) output from ./bootstrap -q.
​8c2efbf	Trac #30533: improve ./bootstrap usage() a bit.
​8f91dbc	Trac #30533: whitespace cleanup in ./bootstrap.

[Samuel Lelièvre]

My understanding is:

  -d        download a pre-made `configure` script
  -D        download and ensure future invocations will download too
  -s        save the downloaded `configure` script
  -u <URL>  use <URL> as the download url for a pre-made `configure` script
  -?        print this help and exit with an error

[git]

Branch pushed to git repo; I updated commit sha1. This was a forced push. New commits:

​33c5fcc	Trac #30533: improve ./bootstrap usage() a bit.
​aa238d5	Trac #30533: whitespace cleanup in ./bootstrap.
​ab1ceda	Trac #30533: rename bootstrap-download() to bootstrap_download().
​63d539f	Trac #30533: use /bin/sh to run the bootstrap script instead of bash.
​3f4c45a	Trac #30533: hide output from "./bootstrap -s" in quiet mode.
​59185e6	Trac #30533: hide info output from "./bootstrap -D" in quiet mode.

[git]

Branch pushed to git repo; I updated commit sha1. This was a forced push. New commits:

​2d443ae	Trac #30533: improve ./bootstrap usage() a bit.
​c6ed563	Trac #30533: whitespace cleanup in ./bootstrap.
​31cb178	Trac #30533: rename bootstrap-download() to bootstrap_download().
​358ddc5	Trac #30533: use /bin/sh to run the bootstrap script instead of bash.
​de351f1	Trac #30533: hide output from "./bootstrap -s" in quiet mode.
​912af9b	Trac #30533: hide info output from "./bootstrap -D" in quiet mode.

[git]

Branch pushed to git repo; I updated commit sha1. This was a forced push. New commits:

​171b947	Trac #30533: improve ./bootstrap usage() a bit.
​7dcb5a8	Trac #30533: whitespace cleanup in ./bootstrap.
​ab83893	Trac #30533: rename bootstrap-download() to bootstrap_download().
​2b4272d	Trac #30533: use /bin/sh to run the bootstrap script instead of bash.
​b85f4a1	Trac #30533: hide output from "./bootstrap -s" in quiet mode.
​9c39bc8	Trac #30533: hide info output from "./bootstrap -D" in quiet mode.

[Michael Orlitzky]

All good now, I hope. The output should be hidden from ./bootstrap -s -q and ./bootstrap -D -q now too.

[Matthias Köppe]

This is a nice improvement

[Matthias Köppe]

Actually the change from bash to /bin/sh seems to have changed the set -e default, and bootstrap no longer works if src/bin/sage-env-config does not already exist.

[Matthias Köppe]

Follow-up: #30664