build.sh: time the build and direct output to a log file.
Merge branch 'master' into ndvm

Conflicts:
	build.sh