Added vcd2txt.pl and txt2tikztiming.py (tests/tools/...)