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

Conflicts:
	build.sh