doc: gtkwave needs to be installed as well