Documentation/ and tools/ maintenance

Update existing Documentation/ (except list.txt because I plan to somehow
compile-time distinguish between list head and node) to latest changes.

tools/show-non-traced does not pointlessly descend into .git anymore.
Fix unconditional jumps in Config's array parser

valgrind reported unconditional jumps in the Trace API originating from
Config. The reason was that I dereferenced uninitialised 'pos' pointers
from the array parser 'sub_pos' variable. These pointers were actually
meant to be write-only for the inferior parsers. But it can't hurt to
initialise them - since they're printed.