Rename "tools" to "scripts", since that's what is contained.

diff --git a/tools/checkglobals b/scripts/checkglobals
similarity index 100%
rename from tools/checkglobals
rename to scripts/checkglobals

diff --git a/tools/listpublic b/scripts/listpublic
similarity index 100%
rename from tools/listpublic
rename to scripts/listpublic

diff --git a/tools/makesrcdist b/scripts/makesrcdist
similarity index 100%
rename from tools/makesrcdist
rename to scripts/makesrcdist

diff --git a/tools/makesrcdist-obsolete b/scripts/makesrcdist-obsolete
similarity index 100%
rename from tools/makesrcdist-obsolete
rename to scripts/makesrcdist-obsolete

diff --git a/tools/pdftops-darwin.sh b/scripts/pdftops-darwin.sh
similarity index 100%
rename from tools/pdftops-darwin.sh
rename to scripts/pdftops-darwin.sh

diff --git a/tools/testrpm b/scripts/testrpm
similarity index 100%
rename from tools/testrpm
rename to scripts/testrpm