build-deps.cmd: print start, end, and elapsed time + .gitignore doc tweak