Use --no-verbose wget option when not running in a terminal
In !53, @Mynacol reported that when a build is done in a CI, the logs
are filled with wget outputs, and using the `--no-verbose` option is
fixing that.
However seeing the download progress is still useful when doing
interactive builds, so I think we add the `--no-verbose` option only
when we are not in a TTY.
issue