ensure nightly reports the GDB version
Useful to investigate the behaviour of gdbsrv tests


git-svn-id: svn://svn.valgrind.org/valgrind/trunk@13261 a5019735-40e9-0310-863c-91ae7b9d1cf9
Implement the gdbsrv monitor command  v.do expensive_sanity_check_general
(useful to check the sanity of valgrind on request and/or from GDB,
when an error is reported by the tool).
Also re-order the NEWS entries to put the internals things after
the user level new functions.



git-svn-id: svn://svn.valgrind.org/valgrind/trunk@13262 a5019735-40e9-0310-863c-91ae7b9d1cf9
Avoid doing a useless system call in scheduler sanity check


git-svn-id: svn://svn.valgrind.org/valgrind/trunk@13263 a5019735-40e9-0310-863c-91ae7b9d1cf9
Tweak script; ignore some more opcodes.


git-svn-id: svn://svn.valgrind.org/valgrind/trunk@13264 a5019735-40e9-0310-863c-91ae7b9d1cf9
Update list of ignored files.


git-svn-id: svn://svn.valgrind.org/valgrind/trunk@13265 a5019735-40e9-0310-863c-91ae7b9d1cf9