Merge pull request #3073 from tweag/machine-logs

doc/manual/command-ref/opt-common-syn.xml

doc/manual/command-ref/opt-common.xml

src/libmain/common-args.cc

src/libmain/loggers.cc

src/libmain/loggers.hh

src/libmain/progress-bar.cc

src/libmain/progress-bar.hh

src/libmain/shared.cc

src/libstore/build.cc

src/libstore/names.cc

src/libstore/names.hh

src/libutil/logging.cc

src/libutil/logging.hh

src/libutil/util.cc

src/nix-build/nix-build.cc

src/nix-env/nix-env.cc

src/nix-prefetch-url/nix-prefetch-url.cc

src/nix-store/nix-store.cc

src/nix/main.cc