Split WorkspaceData to SymexecView and DisasmGraphView. Support highlighting the current instruction in symexec paths.

SymexecView: add a hbox constraint to make path button and disassembly button appear in the same line.

bring up to date with recent refactoring

compare with 3f3b7cb0
fixes #13

There has always been an issue that the second time user chooses a
function from the function table, it requires much longer to render the
CFG than the first time. After much debugging, it turns out that when
"conditional" is used, Block becomes a child of ui.CFGNode after
initialization, and the second time ui.CFGNode is created, both the old
Block instance and a new Block instance generated from the Conditional
will be activated and refreshed.

This is probably a bug in enaml. A temporary workaround is to not use
conditional in performance-critical part.

Feat/clickable instructions



See merge request !19

Fix the issue where function graphs are not displayed sometimes



See merge request !18

Wip/vfg refactoring



See merge request !17