add '4' to the end of some filesnames

metze

diff --git a/BUGS.txt b/BUGS4.txt
similarity index 100%
rename from BUGS.txt
rename to BUGS4.txt

diff --git a/NEWS b/NEWS4
similarity index 100%
rename from NEWS
rename to NEWS4

diff --git a/TODO b/TODO4
similarity index 100%
rename from TODO
rename to TODO4

diff --git a/WHATSNEW.txt b/WHATSNEW4.txt
similarity index 100%
rename from WHATSNEW.txt
rename to WHATSNEW4.txt

diff --git a/howto.txt b/howto4.txt
similarity index 100%
rename from howto.txt
rename to howto4.txt

diff --git a/prog_guide.txt b/prog_guide4.txt
similarity index 100%
rename from prog_guide.txt
rename to prog_guide4.txt