Make convenience scripts consistent.

	* build-server.sh: Allow use of -c and -d arguments.
	* build-hal.sh: Likewise.