cleaned up renderer.ts
cleaned up handler.ts and implemented hoverOn/hoverOut event on nodes. also highlights the edge between the selectedNode and hoverNode fixes #30.
weak successor generator

also refactors successor generators
fixed #34, the node will now change even if the graph is freezed.
Merge branch 'master' of github.com:figa12/CCS-tool