[m-dev.] For review: change bootcheck to copy the boehm collector

[Zoltan Somogyi]

> +	-R, --copy-runtime --copy-boehm-gc
> +		Copy the runtime and boehm_gc directories instead of linking
> +		them.  This is necessary if one wants to bootcheck a grade
> +		that is not compatible with the standard one for the boehm
> +		collector as well as the runtime.

--copy-boehm-gc and -R should be documented separately, since they have
different meanings.

Apart from that, the diff is fine.

Zoltan.