build.sh: time the build and direct output to a log file.