A fork of gtkwave. Hoping to integrate Kripke structure in it.