Reduce CI build log sizes
Recently some jobs' build logs have been exceeding the 16MB limit. Mitigate this by changing the make build system's default behavior to V=0
in CI. Also introduce a new environment variable (VERBOSE
) to ci.sh
so that this can be disabled.
Also add a usage message documenting this.