Documentation: remove all mentions of DejaGNU and Tcl

We don't have DejaGNU tests now.