add command to debug with gtkwave
add shortcuts