Record local change made to copy of tools.namespace

in clone.sh and a patch file, so that if we get an updated version of
tools.namespace from upstream, it will hopefully be straightforward to
keep this addition.